CS计算机代考程序代写 % CPSC 312 negation as failure example

% CPSC 312 negation as failure example

:- dynamic w/0.

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