KL1 или Kernel Language 1 - это экспериментальная И-параллельная версия KL0, разработанная для проекта ICOT Fifth Generation Computer . KL1 - это реализация Flat GHC (подмножество языка Guarded Horn Clauses от Кадзунори Уэда), что делает его параллельным вариантом Prolog .
Рекомендации
- Уэда, Кадзунори (1987). «Охраняемые клаузулы: язык параллельного логического программирования с концепцией охранника». CiteSeerX 10.1.1.25.2460 . Цитировать журнал требует
|journal=
( помощь )
Внешние ссылки
- Ассоциация KLIC , где размещается компилятор KLIC KL1 - C - последнее обновление около 1999 г. (Срок действия домена klic.org истек и он был заменен подарочной компанией где-то между 2010 и 2012 гг. последняя копия в Интернет-архиве .)
дальнейшее чтение
- «Дизайн ядра языка для машины параллельного вывода», У. Казунори и др., Computer J (декабрь 1990 г.).