KL1

KL1、またはカーネル言語 1は、 ICOT第 5 世代コンピュータプロジェクト用に開発されたKL0の実験的かつ並列化されたバージョンです。KL1 は Flat GHC (上田和典によるGuarded Horn Clauses言語のサブセット) の実装であり、並列化されたProlog のバリエーションとなっています。

• Prolog実装の比較
• Prologの構文と意味論

• KLIC 協会は、KLIC KL1 から C へのコンパイラの本拠地です。最終更新は 1999 年頃です。(klic.org ドメインは期限切れとなり、2010 年から 2012 年の間にギフト会社によって置き換えられました。上記のリンクは、インターネット アーカイブの最新のコピーを指すように調整されています。)
• KLICコンパイラを復活させているUEDA研究室。

• 「並列推論マシンのためのカーネル言語の設計」、U. かずのり他、Computer J (1990 年 12 月)。