Backward Chaining Goal

Syntax

not { condition }*

Arguments

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.

Examples

(not (truck ?truck driver ?driver) (test ?driver))

See also

test