Поиск запроса, для которого программа пролога дает неверный результат

Эта программа Prolog определяет, что третий аргумент является максимальным значением первых двух числовых аргументов:

max(X, Y, X) :- X >= Y, !.
max(X, Y, Y).

Я думаю, что эта программа работает просто отлично. Но мне говорят, что это может дать неверный результат. Можете ли вы сказать, когда и почему?

Ответы на вопрос(2)

Ваш ответ на вопрос