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