KnowledgeWorks and Prolog User Guide > 7 Reference Guide

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 (Unix version) - 22 Dec 2009

NextPrevUpTopContentsIndex