Francisco Coelho / zugzwang

Blame view

code/asp/dneg.lp 36 Bytes
Edit Raw Normal View History
7087a6b5   Francisco Coelho   Changed KR repo 
1
2
 
a(X); -a(X) :- X = 1.
c(X) :- -a(X).