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)