inst-token Function

Summary

Returns the token of a rule instantiation.

Package

kw

Signature

inst-token instantiation => token

Arguments

instantiation⇩

An instantiation object.

Values

token⇩

A list of objects.

Description

The function inst-token returns the token of instantiation. 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.

Examples

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