NextPrevUpTopContentsIndex

inst-token

Function
Summary

Returns the token of a rule instantiation.

Signature

inst-token instantiation => token

Arguments

instantiation

An instantiation object.

Values

token

A list of objects.

Description

Returns the token of the instantiation . The token is the list of objects that 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 ) .

See also

conflict-set
deftactic
inst-rulename
inst-bindings
instantiation


KnowledgeWorks and Prolog User Guide (Unix version) - 29 Feb 2008

NextPrevUpTopContentsIndex