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

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

NextPrevUpTopContentsIndex