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