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)