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