A'UM
K. Yoshida and T. Chikayama.
Built on top of KL1.
"A'UM - A Stream-based Concurrent Logic Object-Oriented Language", K. Yoshida et al, Proceedings of the 3rd International Conference on Fifth Generation Computing Systems, Springer-Verlag, 1988, pp.638-649.