Hispanopedia Wiki
Articulo de referencia

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...

Hispanopedia WikiContenido en espanolLectura gratuita

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 la convierte en una variante paralela de Prolog .

Véase también

Referencias

  • Ueda, K. (1988). «Cláusulas Horn protegidas: Un lenguaje de programación lógica paralela con el concepto de una cláusula de protección» . Actas del Primer Simposio Franco-Japonés sobre Programación de Computadoras de Futura Generación . Elsevier. pp. 441–456 . ISBN  0444704108.
  • La Asociación KLIC , sede del compilador KLIC KL1 a C, cuya última actualización data de alrededor de 1999. (El dominio klic.org caducó y fue reemplazado por una empresa de donaciones entre 2010 y 2012; el enlace anterior se ha modificado para que apunte a la copia más reciente en Internet Archive ).
  • UEDA Lab , que está reactivando el compilador KLIC.

Lecturas adicionales

  • "Diseño del lenguaje kernel para la máquina de inferencia paralela", Ueda, K. y Chikayama, T., Computer Journal (1990).