not(P)

If the goal P has a solution, fail, otherwise succeed.  It is defined as if
by:-


          not(P) :- P, !, fail.
          not(_).
