Returns the name of an inferencing state.
inferencing-state-name state => name
state
An inferencing state.
name
Any object.
Returns the name of the given inferencing 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) - 26 Feb 2015
