重复的解决方案

Question

我有一个问题,试图获得一些代码,返回我的查询的唯一答案.例如,定义

stuff(A,B,C) :- A=C ; B=C.
morestuff([],[],[]).
morestuff([A|AA],[B|BB],[C|CC]) :- stuff(A,B,C), morestuff(AA,BB,CC).

然后跑

morestuff([A,A],[A,B],[a,b]).

给出输出:

A = a
B = b ? ;

A = a
B = b ? ;

yes.

如您所见,这两种解决方案是相同的.有没有办法让PROLOG回归独特的解决方案,即e.给出输出:

A = a
B = b ? ;

yes.

Answer 1

您还可以使用

| ?- setof(sol(A,B),morestuff([A,A],[A,B],[a,b]),L).
L = [sol(a,b)] ? 
yes