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. (1994-12-21)