在Prolog中选择唯一元素

Question

给出像

这样的事实

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

如何获得独特的结果[a，b]？

Answer 1

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

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

Goal