比较序言中的事实时获得重复答案

Question

使用SWI-Prolog。 我有一个行列清单说：

rank(London, 3.5).
rank(New York, 3.5).
rank(Seattle, 2.3).

我正在努力制定一条规则，以打印/返回具有相同等级的任何事实。 因此，在这种情况下，它将与伦敦和纽约一起返回。

到目前为止，这是我要提出的问题，唯一的问题是我得到的重复项（尽管按照当前规则完全可以理解）。 使用递归会有所帮助吗？

equal_rank(_):-
    rank(U1, R1),
    rank(U2, R2),
    U1 \== U2,
    R1 == R2,
    print(R1), print(': '), print(U1), print(', '), print(U2), nl,
    fail.

输出为：

3.5: London, New York
3.5: New York, London

我只是不知道如何停止第二行。

Answer 1

一种简单的方法是用小于测试代替U1和U2之间的不相等测试：

U1 @< U2. 

这样，给定的一对仅出现一次。

Answer 2

我可能会选择使用bagof/3东西，但是我不知道这是您遇到的问题的首选还是更合适的方法。 根据您定义的事实，以下目标似乎可以发出您想要的结果：

| ?- bagof(C, rank(C, X), Cs), length(Cs, L), L > 1.

Cs = [london,'new york']
L = 2
X = 3.5

yes

当然，它需要进行一些格式化方面的工作； 在列表中收集结果的想法可能对您有用，也可能没有用。 哦，顺便说一句，我不确定城市名称是否必须是变量，因此您可以看到我使用普通原子断言了rank/2事实。

有关bagof/3的其他信息，您可以参考在线SWI-Prolog手册页面 。