Francisco Coelho / zugzwang

Blame view

code/asp/fplp/example_05-2.lp 65 Bytes
Edit Raw Normal View History
3e0f9b8a   Francisco Coelho   back to work? 
1
2
3
4
5
 
b :- not a.
c :- not b.
c :- a, not p.
p :- not q.
q :- not p, b.