@InProceedings{Zhang88,
  title =        "{A}n {OCCAM}@ implementation of prolog and its preliminary performance",
  author=        "Zhang,  Kang",
  editor=        "Askew,  Charlie",
  pages =        "23--36",
  booktitle=     "{OUG}-9: {O}ccam and the {T}ransputer -- {R}esearch and {A}pplications",
  isbn=          "90 5199 010 3",
  year=          "1988",
  month=         "sep",
  abstract=      "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."
}