Returns the token of a rule instantiation.
An instantiation object.
A list of objects.
Returns the token of the
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
then the token will have the form
KnowledgeWorks and Prolog User Guide (Unix version) - 11 Jul 2006