disj.lp 55 Bytes
Edit Raw Blame History



1

2

3

4

5

6


% prob(a) = 0.3
a ; -a.
b ; c :- a.

d ; -d.
b :- c, d.