КЛ1
KL1 или Kernel Language 1 — это экспериментальная и параллельная версия KL0, разработанная для проекта ICOT Fifth Generation Computer . KL1 — это реализация Flat GHC (подмножества языка Guarded Horn Clauses от Кадзунори Уэда), что делает его параллельным вариантом Пролога .
См. также
[ редактировать ]Ссылки
[ редактировать ]- Уэда, К. (1988). «Предложения Guarded Horn: язык параллельного логического программирования с концепцией охранника» . Материалы Первого франко-японского симпозиума по программированию компьютеров будущего поколения . Эльзевир. стр. 441–456. ISBN 0444704108 .
Внешние ссылки
[ редактировать ]- Ассоциация KLIC , где находится компилятор KLIC KL1 в C — последнее обновление около 1999 года. последняя копия в Интернет-архиве .)
- UEDA Lab , возрождающая компилятор KLIC.
Дальнейшее чтение
[ редактировать ]- «Проектирование языка ядра для машины параллельного вывода», У. Казунори и др., Computer J (декабрь 1990 г.).