平整嵌套表達式

Question

我想要在[a, b, c, d]中翻譯像X = a(b(c(d)))這樣的表達式。

我想我必須迭代/遞歸運算符=..，但我不知道如何。我試過

flatten([], []). 
flatten(Exp, X) :- Exp=..[H,T], flatten(T, Y), X is append([H], Y). 

但它似乎沒有工作。

有人可以幫助我嗎？

Answer 1

flatten/2是一個通常內置的，而is/2引入了算術評估。因此，您的Prolog應該在代碼中警告您這些問題。

如果你限制的表達，一元計算，該代碼應簡化（請注意我改名的程序）：

flatterm(Exp, [H|R]) :- 
    Exp =.. [H, T], 
    !, flatterm(T, R). 
flatterm(T, [T]). 

測試：

?- flatterm(a(b(c(d))),X). 
X = [a, b, c, d]. 

你應該試着去了解爲什麼我交換了基本/遞歸的情況，以及!（也被稱爲cut）的角色。