KL1

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.

["Design of the Kernel Language for the Parallel Inference

Machine", U. Kazunori et al, Computer J (Dec 1990)].

(1994-10-24)