Allows code to detect when it is running in a rule.
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