KnowledgeWorks and Prolog User Guide > 7 Reference Guide

NextPrevUpTopContentsIndex

inferencing-state-name

Function
Summary

Returns the name of an inferencing state.

Signature

inferencing-state-name state => name

Arguments

state

An inferencing state.

Values

name

Any object.

Description

Returns the name of the given inferencing state.

Examples
(inferencing-state-name *inferencing-state*)
See also

find-inferencing-state
*inferencing-state*
list-all-inferencing-states
make-inferencing-state

KnowledgeWorks and Prolog User Guide (Unix version) - 22 Dec 2009

NextPrevUpTopContentsIndex