example_05-2.lp 65 Bytes
Edit Raw Blame History



1

2

3

4

5


b :- not a.
c :- not b.
c :- a, not p.
p :- not q.
q :- not p, b.