En 1955 Herbert Simon, Allen Newell y J. C. Shaw, desenvuelven el primer llinguaxe de programación empobináu al resolución de problemes, el IPL-11. Un añu más tarde desenvuelven el LogicTheorist, que yera capaz de demostrar teoremas matemáticos.