🌈 搜索
📅  最后修改于: 2022-03-11 14:57:57.749000             🧑  作者: Mango
most_wins(Id) :- wins(Id, W), \+ (wins(_, W1), W1 > W).