Kernel Language 0 (KL0) is a sequential logic programming language based on Prolog, used in the ICOT Fifth generation computer project.
- 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.