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

NextPrevUpTopContentsIndex

find-inferencing-state

Function
Summary

Finds a known inferencing state.

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

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) - 26 Feb 2015

NextPrevUpTopContentsIndex