KL0

From Wikipedia, the free encyclopedia

Kernel Language 0 (KL0) is a sequential logic programming language based on Prolog, used in the ICOT Fifth generation computer project.

See also[edit]

References[edit]

  • Kazuhiro Fuchi; Koichi Furukawa (1986). "The role of logic programming in the Fifth Generation Computer Project". Third International Conference on Logic Programming. Lecture Notes in Computer Science. Vol. 225. Springer. pp. 1–24. doi:10.1007/3-540-16492-8_61. ISBN 978-3-540-16492-0.