The Newell and Simon program that proved theorems of Principia Mathematica was:

• Elementary Perceiver
• General Problem Solver
• Logic Theorist
• Boolean Algebra
• None of the above