View source with
raw comments
or as
raw
1
% { p, not q }
2
p :- not
q.
3
:- not