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