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

References

  • 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.