The current inferencing state.
kw
An empty inferencing state named :default
.
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.
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