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-variable handling in rules of
class :linear as well. Also see free-variables and
see rule-classes.
