KL0

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

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. 225. Springer. pp. 1–24. doi:10.1007/3-540-16492-8_61. ISBN 978-3-540-16492-0.