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 (Macintosh version) - 24 Mar 2017