KnowledgeWorks and Prolog User Guide > 7 Reference Guide

NextPrevUpTopContentsIndex

standard-context

Backward Chaining Goal
Summary

The standard meta-interpreter context.

Signature

standard-context

Description

A built-in backward chaining goal which implements a meta-interpreter for the default (normal) behavior 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
start-cycle
instantiation
fire-rule


KnowledgeWorks and Prolog User Guide (Unix version) - 22 Dec 2009

NextPrevUpTopContentsIndex