FREE-VARIABLES-EXAMPLES.html -- ACL2 Version 6.3

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

## Some Related Topics

- ### FREE-VARIABLES-EXAMPLES-FORWARD-CHAINING -- examples pertaining to free variables in forward-chaining rules

- ### FREE-VARIABLES-EXAMPLES-REWRITE -- examples pertaining to free variables in rewrite rules