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) - 6 Dec 2011