max(X,Y,Z) :- X>=Y, !, Z=X.
max(X,Y,Z) :- Z=Y. % rein logisch unsinnig!

max(X,Y,Z) :- X>=Y -> Z=X ; Z=Y.


p :- \+ q.

p :- q, !, fail.
p.
