Previous: ii, Up: Predicate Rules


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.