1% { not p, not q, not r }
    2% all must fail: no rules for q and r, only an OLON rule for p.
    3
    4p :- q, not p, r.
    5
    6%#compute 2 {not p, not q, not r}.
    7comp :- not p, not q, not r.
    8:- not