1% false.
    2% Even loop with no negation through r must fail unless positive loops are
    3% enabled.
    4
    5p :- not q, r.
    6q :- not p.
    7r :- p.
    8
    9% #compute 1 { p }.
   10:- not