Prolog-制定查询以在有限数量的原子内找到最高价值？

Question

假设我有一个原子名称和年龄对：

person(bob,42).
person(jeff,12).
person(adam,23).
...

我想通过查询（而不是谓词）找到最年轻的人。

我将如何进行查询？

Answer 1

您可以使用通用量词来制定多部分查询，如下所示：

person(X,AgeX), forall(person(Y,AgeY), X=Y;AgeX<AgeY).

本质上，该查询表明X必须使得数据库中每个已知person Y都应该是同一个人（ X=Y部分）或另一个人必须年长（ AgeX<AgeY部分）

演示

Answer 2

library（ aggregate ）解决了此类任务，还有更多...试试

?- aggregate(min(Age,Person), person(Person,Age), R).
R = min(12, jeff).