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