Standard librarynegate_1Version: NextOn this pagenegate/1 Description negate/1 is a predicate that succeeds if the goal fails (negation by failure). Signature \+(+Goal) Where: Goal is the goal to negate.