Suche nach der ältesten Person in Prolog Abfrage

Question

Ich habe eine Frage dazu: Finding the oldest person in Prolog

Daten:

age(john, 10). 
age(mary, 15). 
age(rose, 75). 
age(jack, 49). 
age(carl, 17). 
age(lucy, 66). 

Also diese Abfrage wird die älteste Person zurück:

oldest(P) :- age(P, X), \+ (age(_, Y), Y > X). 

Ich bin neu Prolog und ich habe eine harte Zeit, diese Abfrage zu verstehen, vor allem die \+ Teil.

Was ich verstehe: um die älteste Person zu bekommen nehmen wir alle Personen mit einem Alter von X, ohne die Personen mit einem Alter von Y größer als X. Aber dies würde die jüngste Person zurückgeben. Ich bin verwirrt: D

Können Sie beim Lesen dieser Abfrage helfen?

Answer 1

Dort heißt es:

P eine Person ist (wer Alter ist, ist X), so dass es keine andere Person ist, für die sein/ihr Alter ist höher als P ‚s Alter.

Answer 2

Hier ist eine weitere Möglichkeit, die Prädikat zu lesen

% For all person P, P is the oldest person if 
oldest(P) :- 
    % exist X such that the age of P is X, and 
    age(P, X), 
    % do not exist Y such that Y is the age of some person and Y > X. 
    \+ (age(_, Y) , Y > X).