Implementing a parallel PROLOG interpreter by using OCCAM and transputers