Destroys an inferencing state.
kw
destroy-inferencing-state name-or-state
name-or-state⇩ |
Any object. |
The function destroy-inferencing-state
destroys an inferencing state named by name-or-state.
If name-or-state is and inferencing state, then it is destroyed. Otherwise, any inferencing state with that name (as compared using eql) is destroyed.
It is an error to destroy the current inferencing state.
(destroy-inferencing-state 'my-state)
find-inferencing-state
*inferencing-state*
inferencing-state-name
list-all-inferencing-states
make-inferencing-state
KnowledgeWorks and Prolog User Guide (Unix version) - 01 Dec 2021 19:35:49