.Fires the given meta-interpreter rule instantiation.
Signature
fire-rule
instantiation
Arguments
instantiation
An instantiation object.
Description
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.