Makes a new inferencing state.
kw
make-inferencing-state name &key set-current-p if-exists => state
| name⇩ | 
Any object. | 
| set-current-p⇩ | 
A boolean. | 
| if-exists⇩ | 
Either  :error,:supersedeor:overwrite. | 
| state | 
An inferencing state. | 
The function make-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:
| :error | 
A continuable error is signaled. Invoking the continue restart causes the existing inferencing state to be returned. | 
| :supersede | 
The existing inferencing state is destroyed and a new one is returned. | 
| :overwrite | 
The existing inferencing state is returned. | 
If set-current-p is non-nil, then *inferencing-state* is set to new inferencing state.
(make-inferencing-state 'my-state)
destroy-inferencing-state
find-inferencing-state
*inferencing-state*
inferencing-state-name
list-all-inferencing-states
KnowledgeWorks and Prolog User Guide (Macintosh version) - 18 Feb 2025 15:37:08