All Manuals > KnowledgeWorks and Prolog User Guide > 7 Reference Guide

find-inferencing-state Function

Summary

Finds a known inferencing state.

Package

kw

Signature

find-inferencing-state name &key if-does-not-exist => state

Arguments
name
Any object.
if-does-not-exist
Either :error or :create.
Values
state
An inferencing state.
Description

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.
Examples
(find-inferencing-state 'my-state)
See also

destroy-inferencing-state
*inferencing-state*
inferencing-state-name
list-all-inferencing-states
make-inferencing-state


KnowledgeWorks and Prolog User Guide (Unix version) - 01 Dec 2021 19:35:49