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