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

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

ANSWER DOWNLOAD EXAMIANS APP