maximum(X,X,X).
maximum(X,Y,Z) :- X < Y, Y1 is Y-X, maximum(X,Y1,Z).
maximum(X,Y,Z) :- X > Y, maximum(Y,X,Z).