Prolog-通过迭代事实创建列表

Question

我是Prolog的新手，想学习它。 我一直在尝试遍历事实时创建一个列表，但是创建的列表向后刷新并丢失了数据。 如何保存数据并向列表中添加元素？

funct(a,b,1).
funct(b,c,2).
funct(b,d,3).

creatingList(X,Y,R):- funct(X,Y,A), funct(Y,Z,B), \+member(B,R) , append(R,B,R).

我试过了，但是当我跟踪时，它一直在丢失数据，我期望它是R = [1,2,3]。

Answer 1

@User是正确的：

?- findall(funct(X,Y,Z), funct(X,Y,Z), Functs).
Functs = [funct(a, b, 1), funct(b, c, 2), funct(b, d, 3)].

setof/3和bagof/3可能也适用，但是它们的语义稍微复杂一些。