Main Page | See live article | Alphabetical index 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. This article is from Wikipedia. All text is available under the terms of the GNU Free Documentation License.