Returns the rule name of a rule instantiation.
An instantiation object.
A symbol which is the name of a rule.
Returns the rule name of the
(the name of the rule of which this is an instantiation).
KnowledgeWorks and Prolog User Guide (Unix version) - 6 Dec 2011