Prolog的改變到一起

Question

假設我有一個列表

[p(X,Y) , h(n,U) , f(U,R)] 

我想改變到一起 和 分配一起可變 輸出應爲： 輸出：

Variabile = p(X,Y) , h(n,U) , f(U,R) 

你有什麼想法嗎？

Answer 1

也許你想這樣的：

list_to_conj([H], H) :- !. 
list_to_conj([H | T], ','(H, Conj)) :- 
    list_to_conj(T, Conj). 

使用示例：

?- list_to_conj([], Variable). 
false. 

?- list_to_conj([a], Variable). 
Variable = a. 

?- list_to_conj([a, b], Variable). 
Variable = (a, b). 

?- list_to_conj([p(X,Y) , h(n,U) , f(U,R)], Variable). 
Variable = (p(X, Y), h(n, U), f(U, R)). 

?- list_to_conj([writeln(hello), writeln(world)], Variable), call(Variable). 
hello 
world 
Variable = (writeln(hello), writeln(world)). 

Answer 2

您只能將變量分配給變量。術語連接不是一個有效的術語。