View source with formatted comments or as raw
    5p(X) :- r(X).
    6p(X) :- not s(X), r(X).
    7
    8r(2).
    9r(1).
   10s(X) :- not t(X).
   11t(X) :- not s(X).
   12
   13
   14?- p(X).