max1(X, Y, X) :- X > Y, !. % white
max1(X, Y, Y) :- X =< Y.

max2(X,Y,X):- X > Y,!. % red
max2(_,Y,Y).