% CPSC 312 negation as failure example

:- dynamic w/0.

p :- q, \+ r.
p :- s.
q :- \+ s.
r :- \+ t.
t.
s :- w.

% C={t, \+r, \+w, \+s,q, p} 
