Allows code to detect when it is running in a rule.
The variable is bound to
if the code executing has been called (directly or indirectly) from the forward chaining rule interpreter. Otherwise it bound to
. The value should not be changed.
KnowledgeWorks and Prolog User Guide (Unix version) - 6 Dec 2011