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