FREE-VARIABLES-EXAMPLES

examples pertaining to free variables in rules
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.