Transputer-based implementation and evaluation of parallel Prolog interpreter. - Avvenuti, Marco; Corsini, Paolo; Frosini, Graziano (Inf. Softw. Technol., 1992)