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

KL0

   Kernel Language 0.

   A sequential logic language based on Prolog, used in the
   Japanese ICOT project.

   (1994-11-18)