1955年、アレン・ニューウェルと（後にノーベル賞を受賞した）ハーバート・サイモンは（クリフ・ショーの助けも得て）"LogicTheorist"を作った。
1955年，艾伦·纽厄尔和后来荣获诺贝尔奖的赫伯特·西蒙在J.C.Shaw的协助下开发了“逻辑理论家（LogicTheorist）”。