Francisco Coelho / zugzwang

Blame view

code/asp/credal_01.lp 39 Bytes
Edit Raw Normal View History
808facfe   Francisco Coelho   Main text adapted... 
1
2
3
4
 
a ; -a.

s :- not w, not a.
w :- not s.