KL1
KL1
An experimental AND-parallel version of KL0 for the ICOTproject in Japan. KL1 is an implementation of FGHC.
Not to be confused with KL-ONE.
["Design of the Kernel Language for the Parallel InferenceMachine", U. Kazunori et al, Computer J (Dec 1990)].