Francisco Coelho / zugzwang

Blame view

code/drafts/scasp_t1.pl 45 Bytes
Edit Raw Normal View History
1e848258   Francisco Coelho   Added biblio; Add... 
1
2
3
4
 
p(A) :- not q(A).
q(A) :- not p(A).

?- p(A).