KL0 Kernel Language 0. A sequential {logic language} based on {Prolog}, used in the Japanese {ICOT} project. (1994-11-18)