View source with formatted comments or as raw
    5p(X) :- not q(X).
    6q(X) :- not p(X).
    7
    8q(b)