第五世代コンピュータ
1982年: (財)新世代コンピュータ開発機構(ICOT)設立。第五世代コンピュータプロジェクトが開始され、5年分の予算が与えられた。
1985年: 最初の個人用逐次推論マシン PSI(Personal Sequential Inference Machine、パーソナルPIMとも)とそのオペレーティングシステム SIMPOS(SIM Programming and Operating System)がリリースされた。SIMPOS は Prologにオブジェクト指向プログラミングを取り入れた ESP で記述されていた。
1987年: 複数台のPSIを相互接続した形態の最初の並列推論マシン PIM(Parallel Inference Machine)が構築された。プロジェクトはさらに5年分の予算を与えられた。核となる言語も Guarded Horn Clauses(GHC)に基づいた KL1 にバージョンアップされ、OS は PIM の OS ということで PIMOS と名づけられた。
1991年: 実際に動作する PIM が完成した。
1992年: プロジェクトは当初の予定から一年延長され、この年に終了した。PIMOS のソースコードはパブリックドメインとして公開されたが、PIM でしか動作しないものだったため、KL1 を一般のUNIXマシンで動作させるためのプロジェクトが別途開始された。その成果はKLICとして公開されている。
これは人工知能アルゴリズムに対して最適な計算ハードウェア構成にすることを意味していたので、まず人工知能ソフトウェア技術を確立することが計画の最要点になった。
1979年から具体的計画が進められ、その担い手となる電子技術総合研究所(現:産業技術総合研究所)の渕一博博士らは、論理型言語「Prolog」の潜在力に大きく注目していた。当時の人工知能研究の主流は関数型プログラミング言語「LISP」であったが、欧米の後追いをせずに日本独自の人工知能技術の確立を望んだ電総研は、論理プログラミングの選択を提唱した。これは自然言語処理など特定の推論分野への有用性は知られていたが、人工知能分野に対しては全くの未知数であった。論理型言語の中でもPrologは、特に簡素化された言わばBASIC的な言語であったので、その採用は取り分け欧米の研究者たちからは前衛的に受け止められた。