Transputer-based Implementation and Evaluation of Parallel Prolog Interpreter