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