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