在 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].