Finds a known inferencing state.
kw
find-inferencing-state name &key if-does-not-exist => state
name⇩ |
Any object. |
if-does-not-exist⇩ |
Either :error or :create . |
state |
An inferencing state. |
The function find-inferencing-state
finds and returns an inferencing state named by name.
If an inferencing state with the same name already exists (as compared using eql), it is returned.
Otherwise, the value of if-does-not-exist determines what happens:
:error |
A continuable error is signaled. Invoking the continue restart creates and returns a new inferencing state. |
:create |
A new inferencing state is created and returned. |
(find-inferencing-state 'my-state)
destroy-inferencing-state
*inferencing-state*
inferencing-state-name
list-all-inferencing-states
make-inferencing-state
KnowledgeWorks and Prolog User Guide (Macintosh version) - 01 Dec 2021 19:35:35