All Manuals > KnowledgeWorks and Prolog User Guide > 7 Reference Guide

standard-context Backward Chaining Goal

Summary

The standard meta-interpreter context.

Package

kw

Signature

standard-context

Description

The backward chaining goal standard-context is the built-in goal that 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) - 01 Dec 2021 19:35:49