All Manuals > KnowledgeWorks and Prolog User Guide > 7 Reference Guide

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


KnowledgeWorks and Prolog User Guide (Windows version) - 01 Dec 2021 19:36:03