yes :- ab(X), !, X=b.
yes.

ab(a).
ab(b).


max(X,Y,M) :- X >= Y, !, M=X.
max(_,Y,M) :- M=Y.

maxif(X,Y,M) :- X >= Y -> M=X ; M=Y.
