cyclic.lp 181 Bytes
Edit Raw Blame History



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.