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

make-inferencing-state Function

Summary

Makes a new inferencing state.

Package

kw

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

The function make-inferencing-state 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 (Windows version) - 01 Dec 2021 19:36:03