% From The Art of EyeProlog, Chapter 3.
p(X) :- q(X).
q(X) :- \+ p(X).