Going from Propositional Logic to Predicate Logic
Propositional logic is too limited in its expressive power to help us do real-world programming.
We need to extend it to a system that uses domain variables, functions, and constants.
We will still be able to use resolution to perform inference mechanically.