1% { p, not q }
    2% p will always succeed through the fact. q fails due to the OLON rule and lack
    3% of rules for q.
    4
    5p :- q, not p.
    6p.
    7
    8% #compute 1 {p}.
    9:- not