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