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 q.