KL0

Kernel Language 0.

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.