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

NextPrevUpTopContentsIndex

*inferencing-state*

Variable
Summary

The current inferencing state.

Description

The value of *inferencing-state* is the current inferencing state for many KnowledgeWorks functions.

This variable can be bound to a particular inferencing state before calling other KnowledgeWorks functions, but should not be changed within the body of a rule.

Initial Value

An empty inferencing state named :default .

See also

current-cycle
destroy-inferencing-state
find-inferencing-state
inferencing-state-name
list-all-inferencing-states
make-inferencing-state


KnowledgeWorks and Prolog User Guide (Unix version) - 6 Dec 2011

NextPrevUpTopContentsIndex