NextPrevUpTopContentsIndex

start-cycle

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
(start-cycle)
See also

fire-rule
instantiation
defcontext
standard-context


KnowledgeWorks and Prolog User Guide (Macintosh version) - 29 Feb 2008

NextPrevUpTopContentsIndex