Destroys an 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.
KnowledgeWorks and Prolog User Guide (Unix version) - 24 Mar 2017