NextPrevUpTopContentsIndex

start-cycle

Backward Chaining Goal
Syntax

start-cycle

Arguments

None.

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

defcontext

instantiation

standard-context

fire-rule


KnowledgeWorks and Prolog User Guide - 4 Apr 2005

NextPrevUpTopContentsIndex