Definition of Kl1

FOLDOC
KL1
Kernel Language 1.
An experimental AND-parallel version of KL0 for the ICOT project in Japan. KL1 is an implementation of FGHC.
Not to be confused with KL-ONE.
["Design of the Kernel Language for the Parallel Inference Machine", U. Kazunori et al, Computer J (Dec 1990)].
(1994-10-24)

Search Dictionary:
Search Web Search Dictionary



KL1 definition was found in categories: Language, Idioms & Slang(1)  Encyclopedia(1)  

KL1 Definition from Language, Idioms & Slang Dictionaries & Glossaries

hEnglish - advanced version
kl1

kl1
kernel language 1.



KL1 Definition from Encyclopedia Dictionaries & Glossaries

Wikipedia English - The Free Encyclopedia
KL1
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.

See more at Wikipedia.org...