prologStandardExampleTheory

The clause database used in Prolog Standard reference manual, when explaining solver functionality and search-trees

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).