View source with formatted comments or as raw
    1p:-q.
    2q:-p.
    3
    4?- p.