NextPrevUpTopContentsIndex

inst-token

Function
Syntax

inst-token instantiation

Arguments

instantiation is an instantiation object.

Description

Returns the token of the instantiation . The token is the list of objects which match the condition part of the forward chaining rule. This list of objects is in reverse order to the order in which the conditions appear in the rule. For example, if the forward chaining conditions are

(train ?train)
(signal ?signal)

then the token will have the form ( signal-object train-object ) .

Values

The token of the instantiation (a list of objects).

See also

conflict-set

deftactic

inst-rulename

inst-bindings

instantiation


KnowledgeWorks and Prolog User Guide - 4 Apr 2005

NextPrevUpTopContentsIndex