KL0

カーネル言語 0 ( KL0 ) は、 ICOT第 5 世代コンピュータプロジェクトで使用される、Prologに基づく順次論理プログラミング言語です。

参照

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

参考文献

• 渕一宏、古川浩一 (1986). 「第五世代コンピュータプロジェクトにおける論理プログラミングの役割」.第三回論理プログラミング国際会議. コンピュータサイエンス講義ノート. 第225巻. Springer. pp.  1– 24. doi :10.1007/3-540-16492-8_61. ISBN 978-3-540-16492-0。