NextPrevUpTopContentsIndex

make-inferencing-state

Function
Summary

Makes a new inferencing state.

Signature

make-inferencing-state name &key set-current-p if-exists => state

Arguments

name

Any object.

set-current-p

A boolean

if-exists

Either :error , :supersede or :overwrite .

Values

state

An inferencing state.

Description

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.

Examples
(make-inferencing-state 'my-state)
See also

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


KnowledgeWorks and Prolog User Guide (Unix version) - 29 Feb 2008

NextPrevUpTopContentsIndex