Success: [eclipse]: [user]. not1(Goal) :- call(Goal),!,fail. not1(_). user compiled 208 bytes in 0.02 seconds [eclipse]: not1(true). no. [eclipse]: not1(fail). yes. Fail: fail.