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