我在尝试获取一些返回查询唯一答案的代码时遇到问题。例如,定义
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.
答案 0 :(得分:2)
您也可以使用
| ?- setof(sol(A,B),morestuff([A,A],[A,B],[a,b]),L).
L = [sol(a,b)] ?
yes
答案 1 :(得分:1)
我知道的唯一方法是使用findall/3
生成所有结果,然后自行删除重复项。 (除非最明显的解决方案 - 避免过度生成的算法;但是,在许多情况下,你不能这样做。)