Returns the rule name of a rule instantiation.
inst-rulename instantiation => rulename
An instantiation object.
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).
KnowledgeWorks and Prolog User Guide (Unix version) - 24 Mar 2017