A stream-based, concurrent, logic, object-oriented language by K. Yoshida and Takashi Chikayama, built on top of KL1.