A goal that is satisfied when another goal fails.
Any backward chaining goal.
is used in a backward chaining goal, it succeeds if the
contained within it fails. In this usage, only one condition is allowed.
is used in a forward chaining pre-condition, it succeeds if any of the
contained within it fail. In this usage, the
s may only contain expressions normally allowed in forward chaining pre-conditions (object base references and lisp tests).
(not (truck ?truck driver ?driver) (test ?driver))
KnowledgeWorks and Prolog User Guide (Macintosh version) - 11 Jul 2006