simpleCutTheory

A database containing the following rules:

f(only) :- !.
f(a).

g(a).
g(only) :- !.
g(b).

h(A) :- e(A).
h(A) :- d(A).
e(a) :- !.
e(b).
d(c).
d(d).