p(a).
p(b).
q(a).
r(X) :- p(X), not q(X).