アレン・ニューウェル
論理学をAI研究に導入したのはジョン・マッカーシーで、1958年に の提案書でのことである。1963年、がコンピュータで演繹を実装する簡単な方法、導出とユニフィケーションのアルゴリズムを発見した。しかし、マッカーシーと彼の学生達が60年代後半に試みたように、直接的な実装は非常に困難だった。そのプログラムは単純な定理の証明にも天文学的なステップ数を必要とした。論理へのより有効なアプローチは70年代にエジンバラ大学のが発展させ、間もなくフランスの研究者とフィリップ・ルーセルと共同で論理プログラミング言語 Prolog を生み出すことになる。Prologは論理のサブセット（「プロダクションルール」と密接に関連するホーン節）を使い、扱いやすい計算を可能にしている。ルールの考え方は長く影響を及ぼし、エドワード・ファイゲンバウムのエキスパートシステムやアレン・ニューウェルのSoarの基盤となっている。