KL0 - Википедия - KL0

Язык ядра 0 (KL0) является последовательным логическое программирование язык на основе Пролог, используемый в ICOT Компьютер пятого поколения проект.

Рекомендации

  • Казухиро Фучи; Коичи Фурукава (1986). «Роль логического программирования в компьютерном проекте пятого поколения». Третья международная конференция по логическому программированию. Конспект лекций по информатике. 225. Springer. С. 1–24. Дои:10.1007/3-540-16492-8_61. ISBN  978-3-540-16492-0.