6.5.3 Uses of Inferencing States

In many cases, a single inferencing state is sufficient and the initial inferencing state named :default can be used without any special effort.

To allow several independent inferencing operations to be performed simultaneously, multiple inferencing states must be managed explicitly. Some typical situations are described below.

6.5.3.1 Multiple threads

6.5.3.2 Interleaved in a Single Thread

KnowledgeWorks and Prolog User Guide (Unix version) - 6 Dec 2011