Standard librarynegate_1Version: v15.0.0On 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.