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

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

ANSWER DOWNLOAD EXAMIANS APP