Returns the name of an inferencing state.
kw
inferencing-state-name state => name
| state⇩ | 
An inferencing state. | 
| name | 
Any object. | 
The function inferencing-state-name returns the name of state.
(inferencing-state-name *inferencing-state*)
find-inferencing-state
*inferencing-state*
list-all-inferencing-states
make-inferencing-state
KnowledgeWorks and Prolog User Guide (Macintosh version) - 18 Feb 2025 15:37:08