KL1 - KL1

KL1, или же Язык ядра 1 экспериментальный И-параллель версия KL0 разработан для ICOT Компьютер пятого поколения проект. KL1 - это реализация Плоский GHC (подмножество Оговорки о охраняемых рогах язык Кадзунори Уэда), что делает его параллельным Пролог вариант.

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

  • Уэда, Кадзунори (1987). «Охраняемые клаузулы: язык параллельного логического программирования с концепцией охранника». CiteSeerX  10.1.1.25.2460. Цитировать журнал требует | журнал = (помощь)

внешняя ссылка

  • Ассоциация KLIC, где находится компилятор KLIC KL1 в C - последнее обновление около 1999 г. (Срок действия домена klic.org истек, и он был заменен подарочной компанией где-то в период с 2010 по 2012 год; приведенная выше ссылка была изменена, чтобы указывать на самую последнюю копию по адресу то Интернет-архив.)

дальнейшее чтение

  • «Дизайн ядра языка для машины параллельного вывода», У. Казунори и др., Computer J (декабрь 1990 г.).