Variables
Begin with an uppercase letter
Either “instantiated” or “uninstantiated”
X is instantiated means X stands for a particular value (similar to binding)
Variables instantiations can be undone
- Used to produce multiple answers during search
Multiple uses of the same variable in same scope must refer to same value