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

inferencing-state-name Function

Summary

Returns the name of an inferencing state.

Package

kw

Signature

inferencing-state-name state => name

Arguments
state
An inferencing state.
Values
name
Any object.
Description

The function inferencing-state-name returns the name of 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) - 01 Dec 2021 19:35:49