Szukanie zapytania, dla którego program prologowy daje błędny wynik
Ten program Prolog określa trzeci argument jako maksymalną wartość pierwszych dwóch argumentów liczbowych:
max(X, Y, X) :- X >= Y, !.
max(X, Y, Y).
Myślę, że ten program działa dobrze. Ale powiedziano mi, że może to dać błędny wynik. Czy możesz powiedzieć, kiedy i dlaczego?