KL1

KL1 は、Guarded Horn Clauses (GHC) を基に設計された言語で、並行・並列処理に向いた並行論理プログラミング言語である。第五世代コンピュータプロジェクトでハードウェアと応用ソフトウェアとの間をつなぐ共通核言語として近山 隆により設計され、並列マシンのオペレーティングシステムPIMOSやKL1を含む様々な言語処理系、各種応用プログラムの作成に利用された。 KL1 は第五世代コンピュータプロジェクトで並列マシン PIM 上の処理系として開発された。UNIX上での処理系として KLIC がある。 (出典: KL1 - Wikipedia)