序言比

Question

在 Prolog 中找到谁最高的最简单方法是什么：

height(lisa,1.65).
height(sam,1.70).
height(luke,1.92).
height(nicole,1.54).

我想写

tallest(X) :- Y is bigger than other Y's

Answer 1

SWI-Prolog 有一些不同的方法来解决这个问题，例如通过库（solution_sequences）

?- order_by([desc(H)],height(P,H)).
H = 1.92,
P = luke ;
...

或使用库（聚合）：

?- aggregate(max(H,P),height(P,H),max(_,P)).
P = luke.

不太复杂的 Prologs 可能会提供 setof/3 和 last/2：

?- setof(H:P,height(P,H),L),last(L,_:P).
P = luke,
L = [1.54:nicole, 1.65:lisa, 1.7:sam, 1.92:luke].

还有更多基本引擎，缺少 setof/3，将提供

?- height(P,H),\+((height(_,L),L>H)).
P = luke,
H = 1.92 ;