Examples pertaining to free variables in rules
The examples in the two sub-topics of this topic illustrate the
handling of free variables in rules of class :rewrite
(see free-variables-examples-rewrite) and of class :forward-chaining (see free-variables-examples-forward-chaining),
respectively. These implicitly illustrate free-variables handling in
rules of class :linear as well. Also see free-variables
and see rule-classes.