Backward Chaining Goal

Summary

.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.

Examples

(fire-rule ?instantiation)

See also

start-cycle
instantiation
defcontext
standard-context