A stream-based, concurrent, logic, object-oriented language by K. Yoshida and Takashi Chikayama <chikayama@klic.org>, built on top of kl1.

["A'UM - A Stream-based Concurrent Logic Object-Oriented Language", K. Yoshida et al, Proc 3rd Intl Conf Fifth Gen Comp Sys, Springer 1988, pp. 638-649].