在 Prolog 中选择独特的元素

Question

鉴于事实如

foo(1,a).
foo(2,a).
foo(3,b).

如何获得唯一的结果[a,b] ？

Answer 1

setof/3 ：内置的 Prolog 谓词setof(+Template, +Goal, -Set)将Set绑定到满足目标Goal的Template的所有实例的列表。

构造+Var^Goal告诉setof/3不要在Goal绑定Var 。

?- setof(X, Y^foo(Y, X), Result).
Result = [a, b].