NextPrevUpTopContentsIndex

not

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


KnowledgeWorks and Prolog User Guide - 4 Apr 2005

NextPrevUpTopContentsIndex