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

NextPrevUpTopContentsIndex