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

Elementary Perceiver
General Problem Solver
Logic Theorist
Boolean Algebra
None of these

ANSWER DOWNLOAD EXAMIANS APP