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