Free and Bound Variables
The use of quantifiers ?X and ?X in a formula is said to bind X.
- A variable that is not bound is free.
Let us revisit the definition of a query: {T|p(T)}
- There is an important restriction: the variable T that appears to the left of `|’ must be the only free variable in the formula p(...).