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.
This article is a stub. You can help Wikipedia by fixing it.