1. A query language.
["Towards a Knowledge Description Language", A. Borgida et al, in On Knowledge Base Management Systems, J. Mylopoulos et al eds, Springer 1986].
2. Concurrent ML.
(21 Dec 1994)