View source with raw comments or as raw
    1% Simple classical contradiction
    2
    3p(1).
    4-p(1).
    7?- p(2).