NextPrevUpTopContentsIndex

standard-context

Backward Chaining Goal
Syntax

standard-context

Arguments

None.

Description

A built-in backward chaining goal which implements a meta-interpreter for the default (normal) behaviour of a context. It is as if defined by the rule

(defrule standard-context :backward
  ((standard-context)
   <--
   (start-cycle)
   (instantiation ?instantiation)
   (fire-rule ?instantiation)
   (cut)
   (standard-context)))
Examples
(defcontext my-context1
  :meta (((format t "~%Entering context MY-CONTEXT1"))
         (standard-context)))
See also

defcontext

instantiation

start-cycle

fire-rule


KnowledgeWorks and Prolog User Guide (Macintosh version) - 4 Apr 2005

NextPrevUpTopContentsIndex