Blame view

code/asp/drafts/credal_01.lp 39 Bytes
3e0f9b8a   Francisco Coelho   back to work?
1
2
3
4
a ; -a.

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