A system based on Concurrent Prolog, developed at ICOT, Japan.

["Mandala: A Logic Based Knowledge Programming System", K. Furukawa et al, Intl Conf 5th Gen Comp Sys 1984].