Localizando consulta para a qual um programa de prólogo fornece resultado incorreto
Este programa Prolog de multa o terceiro argumento para ser o valor máximo dos dois primeiros argumentos numéricos:
max(X, Y, X) :- X >= Y, !.
max(X, Y, Y).
Eu acho que este programa funciona muito bem. Mas me disseram que pode dar resultado incorreto. Você pode dizer quando e por quê?