In many cases, a single inferencing state is sufficient and the initial inferencing state named
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.
KnowledgeWorks and Prolog User Guide (Macintosh version) - 6 Dec 2011