1% answer set: { not p, not q }
    2% Positive loop only: no success unless positive loops are enabled.
    3
    4p :- q.
    5q :- p.
    6
    7% #compute 1 { not p }.
    8:- p.