.Fires the given meta-interpreter rule instantiation.
An instantiation object.
This backward chaining goal is only relevant when writing a meta-interpreter for a context. It fires the given rule instantiation. It is an error if the passed object is not an instantiation object.
KnowledgeWorks and Prolog User Guide (Macintosh version) - 26 Feb 2015