The Free On-line Dictionary of Computing (19 January 2023):

KL0

   Kernel Language 0.

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

   (1994-11-18)