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) - 6 Dec 2011