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)