start-cycle Backward Chaining Goal

Summary

Used in the meta-interpreter to start the cycle.

Package

kw

Signature

start-cycle

Description

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

Examples

(start-cycle)

See also

fire-rule
instantiation
defcontext
standard-context