KnowledgeWorks and Prolog User Guide > 6 Advanced Topics > 6.1 Control Flow > 6.1.1 Meta Rule Protocol

NextPrevUpTopContentsIndex

6.1.1.1 Functions defined on Instantiations

The following functions may be called on instantiations:

inst-rulename (instantiation)

which returns the name of the rule of which this is an instantiation.

inst-token (instantiation)

which returns the list of objects (the token ) which match the rule. These appear in reverse order to the conditions they match.

inst-bindings (instantiation)

which returns an a-list of the variables matched in the rule and their values.


KnowledgeWorks and Prolog User Guide (Unix version) - 22 Dec 2009

NextPrevUpTopContentsIndex