




The variable is bound to t if the code executing has been called (directly or indirectly) from the forward chaining rule interpreter. Otherwise it bound to nil. The value should not be changed.
KnowledgeWorks and Prolog User Guide (Windows version) - 24 Mar 2017