max(X, Y, X) :- X >= Y.     % max1.pl
max(X, Y, Y) :- X < Y.
