KL0

Kernel Language 0.

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