Mandala

ICOT, Japan

A system based on Concurrent Prolog

"Mandala: A Logic Based Knowledge Programming System", K. Furukawa et al, International Conference on Fifth Generation Computer Systems, 1984.