Cleary, John G.Olthof, Ian2016-02-242016-02-241993-10Cleary, J.G. & Olthof, I. (1993). The design of an optimistic AND-parallel Prolog (Working paper 93/6). Hamilton, New Zealand: University of Waikato, Department of Computer Science.1170-487Xhttps://hdl.handle.net/10289/9962A distributed AND-parallel Prolog implementation is described. The system can correctly handle all pure Prolog programs. In particular, it deals with the problem of distributed backtracking. Conflicts in variable bindings are resolved by assigning a time value to every unification. Bindings with smaller time values are given precedence over those with larger time values. The algorithm is based on the optimistic Time Warp system, with Prolog-specific optimizations. The optimizations include two new unification algorithms that permit unification and backtracking in any order. The result is a system which can fully exploit the parallelism available in both dependent and independent AND-parallelism.application/pdfen©1993 John G. Cleary and Ian Olthof.Computer ScienceWorking Paper