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.
find-inferencing-state
*inferencing-state*
inferencing-state-name
list-all-inferencing-states
make-inferencing-state
KnowledgeWorks and Prolog User Guide (Unix version) - 24 Mar 2017