Makes a new inferencing state.
make-inferencing-state name &key set-current-p if-exists => state
An inferencing state.
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.
KnowledgeWorks and Prolog User Guide (Unix version) - 24 Mar 2017