KL1

KL1 , o Kernel Language 1 es una versión experimental y paralela de KL0 desarrollada para el proyecto ICOT Fifth Generation Computer . KL1 es una implementación de Flat GHC (un subconjunto del lenguaje Guarded Horn Clauses de Kazunori Ueda), lo que lo convierte en una variante de Prolog paralelizada .

Ver también

• Comparación de implementaciones de Prolog
• Sintaxis y semántica del prólogo

Referencias

• Ueda, K. (1988). "Cláusulas de Guarded Horn: un lenguaje de programación de lógica paralela con el concepto de guardia". Actas del primer simposio franco-japonés sobre programación de computadoras de generación futura . Elsevier. págs. 441–456. ISBN 0444704108.

enlaces externos

• La Asociación KLIC, sede del compilador KLIC KL1 a C; última actualización alrededor de 1999. (El dominio klic.org expiró y fue reemplazado por una empresa de regalos en algún momento entre 2010 y 2012; el enlace anterior se ha ajustado para señalar el sitio más copia reciente en Internet Archive ).
• UEDA Lab, que están reviviendo el compilador KLIC.

Otras lecturas

• "Diseño del lenguaje kernel para la máquina de inferencia paralela", U. Kazunori et al., Computer J (diciembre de 1990).