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