KL0

Kernel Language 0 (KL0) is a sequential logic language based on Prolog, used in the ICOT project

---

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