a.
b.
c.
q(b).
p(X) | r(X) :- q(X).