ＫＬ０

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

参照

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