Без отсечения:
max (X,Y,X):-
X>=Y.
max(X,Y,Y):-
X =< Y.
С отсечением:
max(X,Y,X):-
X>=Y,!.
max(X,Y,Y).