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 , :supersede or :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 (Unix version) - 01 Dec 2021 19:35:49