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