pqr.lp 60 Bytes
Edit Raw Blame History



1

2

3

4

5

6


p(1).
p(2).
p(3).

q(3) :- not r(3).
r(X) :- p(X), not q(X).