% Example for the importance of considering the position of a cut in a conjunction.
% Author: Thomas Stroeder
% non-terminating

%query: p
p :- r.
r :- !, q.
r :- q.
q.
q :- r.