Ian Olthof, John G. Cleary  Home/Search
Context Related
| cs.waikato.ac.nz/p...allel_prolog.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: fermivista.math...s.waikato.ac.nz (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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. These optimizations... (Update)
Context of citations to this paper: More
...as a generalisation of optimistic commit protocols. It has also been described as an algorithm for synchronising AND parallel Prolog [20]. Fujimoto has proposed a Virtual Time Machine [6, 9] for use with discrete event simulation systems. Fujimoto s work is seminal for the...
Cited by: More
The Architecture of an Optimistic CPU: The WarpEngine. - Cleary, Pearson, Kinawi (1995) (Correct)
Active bibliography (related documents): More All
0.5: Distributed Discrete Event Simulation: Optimistic Protocols with.. - Lüthi (Correct)
0.5: Parallel Depth First Search, Part I: Implementation - Rao, Kumar (Correct)
0.3: Exploiting And-Parallelism And Combined And/orparallelism In Logic .. - Zhang (Correct)
Similar documents based on text: More All
0.2: Experiences with OB1, An Optimal Bayes Decision Tree Learner - Cleary, Trigg (1998) (Correct)
0.2: Optimising Tabling Structures for Bottom-Up Logic.. - Clayton, Cleary.. (2002) (Correct)
0.2: Last Parallel Call Optimization and Fast.. - DongXing, Pontelli, .. (1994) (Correct)
BibTeX entry: (Update)
Olthof, I. and Cleary, J. G., (accepted 1994) "The Design of an Optimistic AND-parallel Prolog," Journal of Logic Programming. http://citeseer.ist.psu.edu/olthof93design.html More
@techreport{ olthof92design,
author = "Ian Olthof and John G. Cleary",
title = "{THE} {DESIGN} {OF} {AN} {OPTIMISTIC} {AND}-{PARALLEL} {PROLOG}",
number = "92/474/12",
year = "1992",
url = "citeseer.ist.psu.edu/olthof93design.html" }
Citations (may not include all citations):255 Virtual Time (context) - Jefferson - 1985
132 Strand: New Concepts in Parallel Programming (context) - Foster, Taylor - 1990
121 Guarded Horn clauses - Ueda - 1987
73 Restricted AND-parallelism (context) - DeGroot - 1984
68 Fast concurrent simulation using the Time Warp mechanism (context) - Jefferson, Sowizral - 1985
57 A subset of Concurrent Prolog and its interpreter (context) - Shapiro - 1987
55 PARLOG: parallel programming in logic (context) - Clark, Gregory - 1986
26 Non-strict Independent And-Parallelism (context) - Hermenegildo, Rossi - 1990
19 Parallel Execution of Logic Programs (context) - Conery - 1987
17 Space Management and Cancellation Mechanism for Time Warp (context) - Gafni - 1985
13 Delta Prolog: a distributed backtracking extension with even.. (context) - Pereira, Monteiro et al. - 1986
10 AND parallelism and nondeterminism in logic programs (context) - Conery, Kibler - 1985
7 Parallel Architectures for Problem Solving (context) - Kale - 1985
6 A stream AND-parallel execution algorithm with backtracking (context) - Somogyi, Ramamohanarao et al. - 1988
4 Optimistic AND-parallelism in Prolog (context) - Tebra - 1987
2 An interpreting algorithm for Prolog programs (context) - van Emden - 1984
2 A distributed AND-parallel backtracking algorithm using Virt.. (context) - Cleary, Unger et al. - 1988
1 Derivationof a termination detection algorithm for distribut.. (context) - Dijkstra, Feijen et al. - 1983
1 An Optimistic AND-Parallel Prolog Implementation (context) - Olthof - 1991
1 Completeness of an Optimistic AND-parallel Algorithm (context) - Cleary - 1993
1 Lazy Re-evaluation in Time Warp (context) - West - 1988
1 Parallel dicrete event simulation (context) - Fujimoto - 1990
1 Timestamped term reprsentation for implementing Prolog (context) - Mannila, Ukkonen - 1986
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.cs.waikato.ac.nz.html): More
Constructing Multi-View Editing Environments Using MViews - Grundy, Hosking (1993) (Correct)
The Calculator Project - Formal Reasoning about Programs - Reeves, Goldson (1995) (Correct)
Applying a Machine Learning Workbench: Experience.. - Garner.. (1995) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC