lp2.lp 36 B

12345
  1. a.
  2. b.
  3. c.
  4. q(b).
  5. p(X) | r(X) :- q(X).