Destroys an inferencing state.
Destroys an inferencing state named by
is and inferencing state, then it is destroyed. Otherwise, any inferencing state with that name (as compared using
) is destroyed.
It is an error to destroy the current inferencing state.
KnowledgeWorks and Prolog User Guide (Unix version) - 6 Dec 2011