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

Some Related Topics