View source with formatted comments or as raw
    1r(X):-X>0.
    2r(a).
    3r(b).
    4r(c).
    5
    6p(X):-r(X), not q(X).
    7q(X):-not p(X).
    8
    9q(5)