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

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