从事实列表中找到最大的序言

Question

嗨，抱歉，我真的是Prolog的新手。 假设我有一个事实列表，说6个事实，第一列数字代表人员ID，第二列代表一个人的获胜次数。 如果我想找到获胜最多的人，我将如何去做？

wins(1, 22).
wins(2, 24).
wins(3, 23).
wins(4, 20).
wins(5, 21).
wins(6, 19).

这样的东西？ 老实说，我真的不知道我在做什么

X = wins(_, Xs) 
Y = wins(_, Ys)
most wins(X) :- Xs > Ys  

Answer 1

获得该信息的方法不止一种。

most_wins(Id) :-
    wins(Id, W), \+ (wins(_, W1), W1 > W).

或者，如果您的Prolog具有library（ aggregate ）：

most_wins(Id) :-
    aggregate(max(W, Id), wins(Id, W), max(_, Id)).

或者您可以使用setof / 3

most_wins(Id) :-
    setof(N-Id, W^(wins(Id, W), N is -W), [_-Id|_]).

有明显的速度/内存折衷：第一种方法是提高内存效率，即O（1），但是时间复杂度为O（N ^ 2），因为它扫描的是候选集的2倍。 第二个和第三个（在我看来）实际上是等效的，在SWI-prolog中的当前实现下，都建立候选列表（然后是空间中的O（N）），然后及时选择元素-O（N log N）。

如果候选人是事实 ，则首先选择。

编辑从效率的角度来看，更好的方法是利用不可回溯的分配。 只需扫描候选人，即可随时随地保持最高水平。 Plain Prolog将需要断言/收回来执行此类任务，从而使其效率低下。 但是许多Prologs都有更有效的方式来存储“全局”变量...