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 (Macintosh version) - 24 Mar 2017