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

destroy-inferencing-state Function

Summary

Destroys an inferencing state.

Package

kw

Signature

destroy-inferencing-state name-or-state

Arguments
name-or-state
Any object.
Description

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