The current inferencing state.
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.
An empty inferencing state named
KnowledgeWorks and Prolog User Guide (Macintosh version) - 24 Mar 2017