View source with formatted comments or as raw
    1p(X) :- p(Y).
    2p(0).
    3?- p(X).