KL1

KL1（カーネル言語1）は、 ICOT第五世代コンピュータプロジェクト向けに開発されたKL0の実験的かつ並列化されたバージョンです。KL1は、上田和典氏によるガードホーン節言語のサブセットであるFlat GHCの実装であり、並列化されたPrologの亜種となっています。

参照

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

参考文献

• 上田 憲 (1988). 「ガードホーン節：ガード概念を備えた並列論理プログラミング言語」 .第1回日仏未来世代コンピュータプログラミングシンポジウム議事録. エルゼビア. pp.  441– 456. ISBN 0444704108。

外部リンク

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

さらに読む

• 「並列推論マシンのためのカーネル言語の設計」、上田 憲一、近山 毅、コンピュータジャーナル (1990)。