1% { p, r, not q }, { p, q, not r }
    2p :- not q, r.
    3p :- not r, q.
    4r :- not q.
    5q :- not r.
    6% #compute 0 { p }.
    7:- not