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].