1% Simple classical contradiction
    2
    3p(1).
    4-p(1).
    5
    6%% no model since the program is inconsistent
    7?- p(2).