11.00 – 11.30

Optimising Parallel Logic Programming Systems for Scalable Machines

Vitor Santos Costa and Ricardo Bianchini

11.30 – 11.45

Experiments with Binding Schemes in LOGFLOW

Z. Nemeth and P. Kacsuk

11.45 – 12.00

Experimental Implementation of Parallel TRAM on Massively Parallel Computer

Kazuhiro Ogata and Hiromichi Hirata anShigenori Ioroi and Kokichi Futatsugi

12.00 – 12.30

Parallel Temporal Tableaux

R. I. Scott and M. D. Fisher and J. A. Keane