not(G) :- call(G), !, fail.
not(_).