s.lp 62 Bytes
Edit Raw Blame History



1

2

3

4

5

6

7


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

q(3) :- not r(3).

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