KL1 - KL1 - Wikipedia

Nesmí být zaměňována s KL-ONE.
Klasifikaci paralympijských kanoistik viz KL1 (klasifikace).

KL1nebo Jazyk jádra 1 je experimentální AND-paralelní verze KL0 vyvinutý pro ICOT Počítač páté generace projekt. KL1 je implementací Plochý GHC (podmnožina Doložky se střeženým rohem jazyk Kazunori Ueda), což je paralelizováno Prolog varianta.

Reference

  • Ueda, Kazunori (1987). „Guarded Horn Clauses: a Parallel Logic Programming Language with the Concept of a Guard“. CiteSeerX  10.1.1.25.2460. Citovat deník vyžaduje | deník = (Pomoc)

externí odkazy

  • Sdružení KLIC, domov kompilátoru KLIC KL1 to C - poslední aktualizace kolem roku 1999. (Platnost domény klic.org vypršela a byla nahrazena dárkovou společností mezi lety 2010 a 2012; výše uvedený odkaz byl upraven tak, aby odkazoval na nejnovější kopii na the Internetový archiv.)

Další čtení

  • „Design of the Kernel Language for the Parallel Inference Machine“, U. Kazunori et al., Computer J (prosinec 1990).