credal_01.lp 39 Bytes
Edit Raw Blame History



1

2

3

4


a ; -a.

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