Blame view

code/asp/drafts/cyclic.lp 181 Bytes
3e0f9b8a   Francisco Coelho   back to work?
1
2
3
4
5
6
7
8
9
% p :- not p.   % UNSAT
% not p :- p.   % SAT: {}
% p :- -p.      % SAT: {}
% -p :- p.      % SAT: {}
% not p :- -p.  % SAT: {}
% -p :- not p.  % SAT: -p
a :- b.
b :- a.
a :- not a.