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

*inferencing-state* Variable

Summary

The current inferencing state.

Package

kw

Initial Value

An empty inferencing state named :default.

Description

The value of the variable *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.

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 (Macintosh version) - 01 Dec 2021 19:35:35