nonstrat.lp 136 Bytes
Edit Raw Blame History



1

2

3

4

5

6

7


-a ; a.             % c1
b :- not c, not a.  % c2
c :- not b.         % c3

prob_r(a, 3, 10).
prob_r(-A, C - B, C) :- prob_r(A, B, C).