%T An OCCAM@ implementation of prolog and its preliminary performance
%A  Kang Zhang
%E  Charlie Askew
%B OUG\-9: Occam and the Transputer \-\- Research and Applications
%X The paper presents an execution model for Prolog, which
   attempts to exploit the parallelism mainly at the argument
   level through the unification operation. The model,
   consisting of a number of virtual machine instructions, has
   been implemented in Occam2 on a Transputer Development
   System (TDS). The performance of the pure software
   implementation has been evaluated in real\-time. The speed,
   as assessed by running a few hand compiled benchmark
   programs on the TDS with a single transputer, ranges from
   7\-18 KLIPS. The paper gives some details of the
   performance, and then proposes a dataflow\-based
   functionally distributed configuration of the
   multitransputer system.