prologStandardExampleWithCutTheory

Same as prologStandardExampleTheory but first clause contains cut

p(X, Y) :- q(X), !, r(X, Y).
p(X, Y) :- s(X).
s(d).
q(a).
q(b).
q(c).
r(b, b1).
r(c, c1).