The Free On-line Dictionary of Computing (30 December 2018):

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)