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)].



< Previous Terms Terms Containing KL1 Next Terms >
KIS
KISS
KISS Principle
kit
KL0
 A'UM
FGHC
Foonly
Guarded Horn Clauses
KL1
 Klamath
KLB
Kleene closure
Kleene star
Kleene, Stephen Cole