Previous: , Up: Predicate Rules   [Contents]


6.3.9 Free Variable

Free Variable allows the user to substitute a free variable for another free variable, given that the two are identical.

Free Variable uses exactly two references.