Returns the rule name of a rule instantiation.
inst-rulename instantiation => rulename
instantiation
An instantiation object.
rulename
A symbol which is the name of a rule.
Returns the rule name of the instantiation (the name of the rule of which this is an instantiation).
conflict-set inst-bindings deftactic inst-token instantiation
KnowledgeWorks and Prolog User Guide (Unix version) - 26 Feb 2015