我有这个Prolog代码返回:[[vincent,vincent],[vincent,marcellus],[marcellus,vincent],[marcellus,marcellus],[pumpkin,pumpkin],[honey_bunny,honey_bunny]]
。
:- initialization main.
loves(vincent, mia).
loves(marcellus, mia).
loves(pumpkin, honey_bunny).
loves(honey_bunny, pumpkin).
jealous(X, Y) :-
loves(X, Z),
loves(Y, Z).
main :-
findall([X, Y], jealous(X, Y), L),
write(L),
halt.
当X!= Y时如何获得唯一的结果? 我尝试了以下代码以获得与以前相同的结果。
jealous(X, Y) :-
X \== Y,
loves(X, Z),
loves(Y, Z).
\=
,我得到了[]
。
如何只获得[vincent,marcellus]
?
答案 0 :(得分:1)
您尝试的解决方案中的目标顺序是错误的。当使用两个不同的变量调用时,(\==)/2
标准谓词总是成功。解决方案是仅在实例化其参数时调用谓词:
jealous(X, Y) :-
loves(X, Z),
loves(Y, Z),
X \== Y.
使用此修复程序,您的查询现在返回:
?- findall([X, Y], jealous(X, Y), L).
L = [[vincent, marcellus], [marcellus, vincent]].
所以,没有人再嫉妒自己了。但你仍然得到一个冗余的解决方案。我们可以将jealous/2
谓词修改为排序返回的解决方案中的名称。例如:
jealous(X, Y) :-
loves(X0, Z),
loves(Y0, Z),
X0 \== Y0,
( X0 @< Y0 ->
X = X0, Y = Y0
; X = Y0, Y = X0
).
现在,使用setof/3
代替findall/3
,我们得到:
?- setof([X, Y], jealous(X, Y), L).
L = [[marcellus, vincent]].
最后一个观察结果。列表是表示对的糟糕解决方案。传统方法是使用X-Y
或(X, Y)
。
答案 1 :(得分:1)