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