在 Prolog 中选择独特的元素

Question

Given facts like

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

how to get a unique result [a,b] ?

Answer 1

setof/3 : The built-in Prolog predicate setof(+Template, +Goal, -Set) binds Set to the list of all instances of Template satisfying the goal Goal .

The construct +Var^Goal tells setof/3 not to bind Var in Goal .

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