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