Prolog findet das Maximum aus einer Liste von Fakten most_wins(Id) :- wins(Id, W), \+ (wins(_, W1), W1 > W).