condition
may be any backward chaining goal. If
not
is used in a forward chaining pre-condition,
condition
may only contain expressions normally allowed in forward chaining pre-conditions (object base references and lisp tests).
Description
The
not
goal succeeds if the
conditions
contained within fail.