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