View source with raw comments or as raw
    5p(X) :- not neg_p(X).
    6neg_p(X) :- not p(X).
    7
    8-p(1)