| Property |
Value |
| dbo:abstract
|
- Kernel Language 1 o KL1 es un lenguaje de programación desarrollado en 1987 por el (Instituto para la Nueva Generación de Tecnologías de Computación, o ICOT por su siglas en inglés) en el marco del proyecto japonés de la quinta generación de computadoras en la década de 1980. 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 , 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 operativo UNIX, dando como resultado el KLIC (KL1 to C compiler). (es)
- Kernel Language 1 o KL1 es un lenguaje de programación desarrollado en 1987 por el (Instituto para la Nueva Generación de Tecnologías de Computación, o ICOT por su siglas en inglés) en el marco del proyecto japonés de la quinta generación de computadoras en la década de 1980. 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 , 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 operativo UNIX, dando como resultado el KLIC (KL1 to C compiler). (es)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
| |
| dbo:wikiPageRevisionID
| |
| prop-es:autor
|
- Kazunori Ueda (es)
- Kazunori Ueda (es)
|
| prop-es:fecha
|
- 1987 (xsd:integer)
- 1990 (xsd:integer)
|
| prop-es:fechaacceso
|
- 1 (xsd:integer)
- 18 (xsd:integer)
|
| prop-es:formato
| |
| prop-es:título
|
- Guarded Horn Clauses: A Parallel Logic Programming Language with the Concept of a Guard (es)
- Design of the Kernel Language for the Parallel Inference Machine (es)
- Guarded Horn Clauses: A Parallel Logic Programming Language with the Concept of a Guard (es)
- Design of the Kernel Language for the Parallel Inference Machine (es)
|
| prop-es:url
| |
| dct:subject
| |
| rdfs:comment
|
- Kernel Language 1 o KL1 es un lenguaje de programación desarrollado en 1987 por el (Instituto para la Nueva Generación de Tecnologías de Computación, o ICOT por su siglas en inglés) en el marco del proyecto japonés de la quinta generación de computadoras en la década de 1980. En 1992 el KL1 fue portado al sistema operativo UNIX, dando como resultado el KLIC (KL1 to C compiler). (es)
- Kernel Language 1 o KL1 es un lenguaje de programación desarrollado en 1987 por el (Instituto para la Nueva Generación de Tecnologías de Computación, o ICOT por su siglas en inglés) en el marco del proyecto japonés de la quinta generación de computadoras en la década de 1980. En 1992 el KL1 fue portado al sistema operativo UNIX, dando como resultado el KLIC (KL1 to C compiler). (es)
|
| rdfs:label
|
- Kernel Language 1 (es)
- Kernel Language 1 (es)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is owl:sameAs
of | |
| is foaf:primaryTopic
of | |
