View source with formatted comments or as raw
    1p :- not q.
    2q :- not