Язык логического программирования KL. KL0 от англ. kernel-language version 0 ядро-язык версии 0 язык, в основу которого положено расширение языка логического программирования Пролог. Среди особенностей, новых в KL0 по отношению к Прологу, можно выделить более гибкую структуру управления. многопроцессовость операции с побочным эффектом машинно-ориентированные операции.
К наиболее существенным механизмам Пролога, не поддерживаемым в KL0, относятся средства управления базой данных средства управления таблицей имн. Так как KL0 мало чем отличается от Пролога, ограничимся лишь рассмотрением типов данных. 2.5.2