Alliot, J-M. ; A. Herzig, and M. Lima-Marques. Implementing Prolog extensions: a parallel inference machine. In Proc. of the 1992 International Conference on Fifth Generation Computer Systems, pp. 833-842. ICOT, 1992
(1992)
Languages mentioned
Molog
{1987}
TIM
{1991}