Francisco Coelho / zugzwang | GitLab

1e848258 Added biblio; Added git modules; added asp examples Browse Code »

Francisco Coelho
2024-03-27 10:04:11 +0000

scasp_t1.pl 45 Bytes

Edit Raw Blame History

p(A) :- not q(A).
q(A) :- not p(A).

?- p(A).