KL1

Kernel Language 1.

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).

---

This article (or an earlier version of it) contains material from FOLDOC, used with permission.

This article is a stub. You can help Wikipedia by fixing it.