View source with formatted comments or as raw
    1% Possitive success loop (no models)
    2
    3p(X) :- p(Y).
    4?- p(X).