An experimental AND-parallel? version of KL0 for the ICOT? project. 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).