El KL1 es una versión experimental del Kernel Language 0 (o KL0), creado dos años antes, el cual se basaba el paradigma de la programación lógica y secuencial concurrente, siendo de hecho una variante del Prolog. Con respecto a aquel, el KL1 tenía como principal diferencia el trabajar en paralelo, presentando claras influencias del "Flat GDC" (Flat Guarded Definite Clauses), lenguaje de programación desarrollado por Kazunori Ueda, quien también participó en la implementación del KL1. El resultado final era una versión del Prolog paralelizada que fue empleada para escribir el sistema operativo llamado Parallel Inference Machine Operating System, o PIMOS, el cual derivaba del Sequential Inference Machine Programming Operating System (SIMPOS).
En 1992 el KL1 fue portado al sistema operativoUNIX, dando como resultado el KLIC (KL1 to C compiler).
Ejemplo
El siguiente programa en KL1, toma un dato de entrada, 0 o 1, y lo convierte en la salida inversa, 1 o 0:
:- module main. main :- not(1, X), io:outstream([print(X), nl]). not(In, Out):- In = 0 | Out = 1. not(In, Out):- In = 1 | Out = 0.
Bibliografía
Kazunori Ueda (1987). Guarded Horn Clauses: A Parallel Logic Programming Language with the Concept of a Guard(PDF). Consultado el 18 de enero de 2007.
Kazunori Ueda (1990). Design of the Kernel Language for the Parallel Inference Machine(PS). Consultado el 1 de abril de 2014.
kernel, language, lenguaje, programación, desarrollado, 1987, institute, generation, computer, technology, instituto, para, nueva, generación, tecnologías, computación, icot, siglas, inglés, marco, proyecto, japonés, quinta, generación, computadoras, década, 1. Kernel Language 1 o KL1 es un lenguaje de programacion desarrollado en 1987 por el Institute for New Generation Computer Technology Instituto para la Nueva Generacion de Tecnologias de Computacion o ICOT por su siglas en ingles en el marco del proyecto japones de la quinta generacion de computadoras en la decada de 1980 El KL1 es una version experimental del Kernel Language 0 o KL0 creado dos anos antes el cual se basaba el paradigma de la programacion logica y secuencial concurrente siendo de hecho una variante del Prolog Con respecto a aquel el KL1 tenia como principal diferencia el trabajar en paralelo presentando claras influencias del Flat GDC Flat Guarded Definite Clauses lenguaje de programacion desarrollado por Kazunori Ueda quien tambien participo en la implementacion del KL1 El resultado final era una version del Prolog paralelizada que fue empleada para escribir el sistema operativo llamado Parallel Inference Machine Operating System o PIMOS el cual derivaba del Sequential Inference Machine Programming Operating System SIMPOS En 1992 el KL1 fue portado al sistema operativo UNIX dando como resultado el KLIC KL1 to C compiler Indice 1 Ejemplo 2 Bibliografia 3 Vease tambien 4 Enlaces externosEjemplo EditarEl siguiente programa en KL1 toma un dato de entrada 0 o 1 y lo convierte en la salida inversa 1 o 0 module main main not 1 X io outstream print X nl not In Out In 0 Out 1 not In Out In 1 Out 0 Bibliografia EditarKazunori Ueda 1987 Guarded Horn Clauses A Parallel Logic Programming Language with the Concept of a Guard PDF Consultado el 18 de enero de 2007 Kazunori Ueda 1990 Design of the Kernel Language for the Parallel Inference Machine PS Consultado el 1 de abril de 2014 Vease tambien EditarClausula de Horn Comandos GuardadosEnlaces externos EditarThe KLIC Association en ingles KL1 to C compiler KLIC en ingles Datos Q5965507 Obtenido de https es wikipedia org w index php title Kernel Language 1 amp oldid 118705894, wikipedia, wiki, leyendo, leer, libro, biblioteca,
