Búsqueda de consulta para la cual un programa de prólogo da resultado incorrecto.
Este programa Prolog define el tercer argumento para que sea el valor máximo de los dos primeros argumentos numéricos:
max(X, Y, X) :- X >= Y, !.
max(X, Y, Y).
Creo que este programa funciona bien. Pero me han dicho que puede dar resultado incorrecto. ¿Puedes decir cuándo y por qué?