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

NextPrevUpTopContentsIndex

destroy-inferencing-state

Function
Summary

Destroys an inferencing state.

Signature

destroy-inferencing-state name-or-state

Arguments

name-or-state

Any object.

Description

Destroys an inferencing state named by name-or-state.

If name-or-state is and inferencing state, then it is destroyed. Otherwise, any inferencing state with that name (as compared using eql) is destroyed.

It is an error to destroy the current inferencing state.

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

find-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