example_05-1.lp 86 Bytes
Edit Raw Blame History



1

2

3

4

5

6


b :- not a.
c :- not b.
c :- a.

prob(frac(1,100)) :- a.
prob(frac(99,100)) :- not a.