KnowledgeWorks and Prolog User Guide > 6 Advanced Topics

NextPrevUpTopContentsIndex

6.5 Inferencing States

An inferencing state represents all the state needed to run the forward chaining interpreter, including the object base, the current cycle number and the set of unfired instantiations. It does not include rule or context definitions or any backward chaining state information.

6.5.1 Creating and Maintaining Inferencing States

6.5.2 The Current Inferencing State

6.5.3 Uses of Inferencing States


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

NextPrevUpTopContentsIndex