IPL

Information Processing Languageは1956年から、RANDとカーネギーのアレン・ニューウェル、クリフ・ショー、ハーバート・サイモンが開発した。アセンブリに近い言語でありながら、リスト構造、動的メモリ割り当て、再帰という、記号処理に必要なものを他のどこにもない形で備えていた。当時のFORTRANにはどれもなかった。

IPLで書かれたのが、1956年に『プリンキピア・マテマティカ』の定理を証明した、最初のAIプログラムとされるLogic Theoristである。ジョン・マッカーシーはこれらの発想を発展させ、扱いやすい形でLISPにまとめ、LISPが分野の実際の標準言語になった。IPLの重要性は間接的だが、基礎的である。計算機は計算するだけでなく記号も操作できることを示したからだ。