simpleCutAndConjunctionTheory
A database containing the following rules:
f(X, Y) :- q(X), !, r(Y).
f(X, Y) :- r(X).
q(a).
q(b).
r(a1).
r(b1).Content copied to clipboard
A database containing the following rules:
f(X, Y) :- q(X), !, r(Y).
f(X, Y) :- r(X).
q(a).
q(b).
r(a1).
r(b1).