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

ab(a).
ab(b).

% Fallunterscheidung:
% p :- q, !, r.
% p :- s.

% p :- if q then r else s.

% p :- q -> r ; s.

% Maximum relation:
%max(X,Y,Z) :- X >= Y, !, Z = X.
%max(X,Y,Z) :- Z = Y.

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


p :- \+ q.

p :- q, !, fail.
p.
