KL0

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

See also

• Comparison of Prolog implementations
• Prolog syntax and semantics

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.