Поиск запроса, для которого программа пролога дает неверный результат
Эта программа Prolog определяет, что третий аргумент является максимальным значением первых двух числовых аргументов:
max(X, Y, X) :- X >= Y, !.
max(X, Y, Y).
Я думаю, что эта программа работает просто отлично. Но мне говорят, что это может дать неверный результат. Можете ли вы сказать, когда и почему?