KL1, or Kernel Language 1 is an experimental AND-parallel version of KL0 developed for the ICOT Fifth Generation Computer project. KL1 is an implementation of Flat GHC (a subset of the Guarded Horn Clauses language by Kazunori Ueda), making it a parallelised Prolog variant.

PropertyValue
dbpedia-owl:abstract
  • KL1, or Kernel Language 1 is an experimental AND-parallel version of KL0 developed for the ICOT Fifth Generation Computer project. KL1 is an implementation of Flat GHC (a subset of the Guarded Horn Clauses language by Kazunori Ueda), making it a parallelised Prolog variant.
  • Kernel Language 1 o KL1 es un lenguaje de programación desarrollado en 1987 por el Institute for New Generation Computer Technology (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 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 Sequentual 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).
  • KL1 (Kernel Language One) は、Guarded Horn Clauses (GHC) を基に設計された言語で、並行・並列処理に向いた並行論理プログラミング言語である。第五世代コンピュータプロジェクトでハードウェアと応用ソフトウェアとの間をつなぐ共通核言語として近山 隆により設計され、並列マシンのオペレーティングシステムPIMOSやKL1を含む様々な言語処理系、各種応用プログラムの作成に利用された。 KL1 は第五世代コンピュータプロジェクトで並列マシン PIM 上の処理系として開発された。UNIX上での処理系として KLIC がある。
dbpedia-owl:wikiPageExternalLink
dcterms:subject
rdfs:comment
  • KL1, or Kernel Language 1 is an experimental AND-parallel version of KL0 developed for the ICOT Fifth Generation Computer project. KL1 is an implementation of Flat GHC (a subset of the Guarded Horn Clauses language by Kazunori Ueda), making it a parallelised Prolog variant.
  • KL1 (Kernel Language One) は、Guarded Horn Clauses (GHC) を基に設計された言語で、並行・並列処理に向いた並行論理プログラミング言語である。第五世代コンピュータプロジェクトでハードウェアと応用ソフトウェアとの間をつなぐ共通核言語として近山 隆により設計され、並列マシンのオペレーティングシステムPIMOSやKL1を含む様々な言語処理系、各種応用プログラムの作成に利用された。 KL1 は第五世代コンピュータプロジェクトで並列マシン PIM 上の処理系として開発された。UNIX上での処理系として KLIC がある。
  • Kernel Language 1 o KL1 es un lenguaje de programación desarrollado en 1987 por el Institute for New Generation Computer Technology (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.
rdfs:label
  • KL1
  • Kernel Language 1
  • KL1
owl:sameAs
foaf:page
is dbpedia-owl:influenced of
is dbpedia-owl:wikiPageDisambiguates of
is dbpprop:influenced of
is owl:sameAs of
is foaf:primaryTopic of