Kernel Language 0.
A sequential logic language based on Prolog, used in the Japanese ICOT project.
(18 Nov 1994)