View source with formatted comments or as raw
    8p(X) :- Y .>. X + 1, p(Y).
    9
   10
   11
   12
   13?- X