5p(1).
    6-p(1).
    7
    8
    9
   10%% no model since the program is inconsistent
   11?- p(2).