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

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