Publication: The design of an optimistic AND-parallel Prolog
| dc.contributor.author | Cleary, John G. | |
| dc.contributor.author | Olthof, Ian | |
| dc.date.accessioned | 2016-02-24T23:51:49Z | |
| dc.date.available | 2016-02-24T23:51:49Z | |
| dc.date.issued | 1993-10 | |
| dc.description.abstract | A 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. | en_NZ |
| dc.format.mimetype | application/pdf | |
| dc.identifier.citation | Cleary, 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. | en_NZ |
| dc.identifier.issn | 1170-487X | |
| dc.identifier.uri | https://hdl.handle.net/10289/9962 | |
| dc.language.iso | en | en_NZ |
| dc.publisher | University of Waikato, Department of Computer Science | en_NZ |
| dc.relation.ispartofseries | Computer Science Working Papers | en_NZ |
| dc.rights | ©1993 John G. Cleary and Ian Olthof. | en_NZ |
| dc.subject | Computer Science | en_NZ |
| dc.title | The design of an optimistic AND-parallel Prolog | en_NZ |
| dc.type | Working Paper | en_NZ |
| dspace.entity.type | Publication | |
| uow.relation.series | 93/6 | en_NZ |