重复的解决方案答案

【问题标题】：Duplicate solutions重复的解决方案
【发布时间】：2010-10-03 15:39:55
【问题描述】：

我在尝试获取一些代码以返回对我的查询的唯一答案时遇到问题。例如，定义

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 返回独特的解决方案，即给出输出：

A = a
B = b ? ;

yes.

【问题讨论】：

【解决方案1】：

你也可以使用

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

【讨论】：

【解决方案2】：

我知道的唯一方法是使用findall/3 生成所有结果，然后自己删除重复项。（除非最明显的解决方案 - 避免过度生成的算法；但是，在许多情况下你不能这样做。）

【讨论】：