is an instantiation object.
Returns the token of the
. 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
then the token will have the form
The token of the instantiation (a list of objects).
KnowledgeWorks and Prolog User Guide - 4 Apr 2005