fire-rule Backward Chaining Goal

Summary

Fires the given meta-interpreter rule instantiation.

Package

kw

Signature

fire-rule instantiation

Arguments

Description

The backward chaining goal fire-rule is only relevant when writing a meta-interpreter for a context. fire-rule fires the given rule instantiation 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