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 (Windows version) - 22 Dec 2009

NextPrevUpTopContentsIndex