View source with raw comments or as raw
    1p(X) :- p(X).
    2
    3q(X):- X=1, not