Francisco Coelho / zugzwang

Blame view

code/asp/cyclic.lp 181 Bytes
Edit Raw Normal View History
808facfe   Francisco Coelho   Main text adapted... 
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.