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