Parallel Interpretation of PROLOG on Transputer Networks