Major Section: FREE-VARIABLES
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.
