Returns an inferencing state named by name .
If an inferencing state with the same name already exists (as compared using
eql
), then the value of
if-exists
determines what happens:
A continuable error is signaled. Invoking the
continue
restart causes the existing inferencing state to be returned.
The existing inferencing state is destroyed and a new one is returned.
The existing inferencing state is returned.
If set-current-p is non-nil, then *inferencing-state* is set to new inferencing state.
destroy-inferencing-state
find-inferencing-state
*inferencing-state*
inferencing-state-name
list-all-inferencing-states
KnowledgeWorks and Prolog User Guide (Unix version) - 6 Dec 2011