Backward Chaining Goal

Summary

Used in the meta-interpreter to start the cycle.

Signature

start-cycle

Description

This backward chaining goal is only relevant when writing a meta-interpreter for a context. This goal must be called at the start of every forward chaining cycle as it performs some essential housekeeping.

Example

See also

fire-rule
instantiation
defcontext
standard-context