View source with raw comments or as raw
    5p(1).
    6-p(1).
   11?- p(2).