使用Prolog获得独特的结果

时间:2015-02-01 20:29:09

标签: prolog prolog-dif

我有这个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]

2 个答案:

答案 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)

尽可能使用dif/2代替(\==)/2

dif/2将帮助您编写逻辑上合理的程序。

有关详细信息,请查看