View source with formatted comments or as raw
    1p(X) :- not q(X).
    2q(X) :- not p(X).
    3
    4p(1).
    5
    6?-  q(X).