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