Finds the current meta-interpreter rule instantiations.
An unbound KnowledgeWorks variable introduced by
This backward chaining goal is only relevant when writing a meta-interpreter for a context. It binds
to the list of all existing rule instantiations in the currently executing context. This list is in the order preferred by the conflict resolution strategy for the context.
KnowledgeWorks and Prolog User Guide (Unix version) - 29 Feb 2008