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