Kl0

Kernel Language 0. A sequential logic language based on Prolog, used in the Japanese ICOT project.