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.