A stream-based, concurrent, logic, object-oriented language by K. Yoshida and Takashi Chikayama <[email protected]>, 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].