YapDss: An or-parallel prolog system for scalable Beowulf clusters

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2902, Issue , 2003, Pages 136-150

  Rocha, Ricardo ^a   Silva, Fernando ^a   Martins, Rolando ^a  

^a UNIVERSITY OF PORTO   (Portugal)

Author keywords

Or Parallelism; Parallel Logic Programming; Stack Splitting

Indexed keywords

LOGIC PROGRAMMING; MEMORY ARCHITECTURE; ALGORITHMS; ARTIFICIAL INTELLIGENCE; ASSEMBLY; COMPUTATION THEORY;

BEOWULF CLUSTER; DISTRIBUTED MEMORY; OR-PARALLELISM; PARALLEL LOGIC PROGRAMMING; PARALLEL MACHINE; PARALLEL SYSTEM; SHARED MEMORY MACHINES; STACK SPLITTING;

COMPUTATION THEORY; DISTRIBUTED COMPUTER SYSTEMS;

EID: 0348216541     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24580-3_21     Document Type: Article

References (17)

1. K. Ali and R. Karlsson. The Muse Approach to OR-Parallel Prolog. International Journal of Parallel Programming, 19(2):129-162, 1990.
2. K. Ali, R. Karlsson, and S. Mudambi. Performance of Muse on Switch-Based Multiprocessor Machines. New Generation Computing, 11(1 & 4):81-103, 1992.
3. L. Araujo and J. Ruz. A Parallel Prolog System for Distributed Memory. Journal of Logic Programming, 33(1):49-79, 1997.
4. V. Benjumea and J. M. Troya. An OR Parallel Prolog Model for Distributed Memory Systems. In Proceedings of the 5th International Symposium on Programming Language Implementation and Logic Programming, number 714 in Lecture Notes in Computer Science, pages 291-301. Springer-Verlag, 1993.
5. J. Briat, M. Favre, C. Geyer, and J. Chassin de Kergommeaux. OPERA: Or-Parallel Prolog System on Supernode. In Implementations of Distributed Prolog, pages 45-64. Wiley & Sons, New York, USA, 1992.
6. M. Carlsson and J. Widen. SICStus Prolog User's Manual. SICS Research Report R88007B, Swedish Institute of Computer Science, 1988.
7. G. Gupta and B. Jayaraman. Analysis of Or-parallel Execution Models. ACM Transactions on Programming Languages, 15(4):659-680, 1993.
8. G. Gupta and E. Pontelli. Stack Splitting: A Simple Technique for Implementing Or-parallelism on Distributed Machines. In Proceedings of the 16th International Conference on Logic Programming, pages 290-304. The MIT Press, 1999.
9. Open Systems Laboratory. LAM/MPI Parallel Computing, 2003. Available from http://www.lam-mpi.org.
10. E. Lusk, R. Butler, T. Disz, R. Olson, R. Overbeek, R. Stevens, D. H. D. Warren, A. Calderwood, P. Szeredi, S. Haridi, P. Brand, M. Carlsson, A. Ciepielewski, and B. Hausman. The Aurora Or-Parallel Prolog System. In Proceedings of the International Conference on Fifth Generation Computer Systems, pages 819-830. ICOT, Tokyo, 1988.
11. F. Mattern. Algorithms for Distributed Termination Detection. Distributed Computing, 2(3):161-175, 1987.
12. R. Rocha, F. Silva, and V. Santos Costa. YapOr: an Or-Parallel Prolog System Based on Environment Copying. In Proceedings of the 9th Portuguese Conference on Artificial Intelligence, number 1695 in Lecture Notes in Artificial Intelligence, pages 178-192. Springer-Verlag, 1999.
13. R. Rocha, F. Silva, and V. Santos Costa. On a Tabling Engine that Can Exploit Or-Parallelism. In Proceedings of the 17th International Conference on Logic Programming, number 2237 in Lecture Notes in Computer Science, pages 43-58. Springer-Verlag, 2001.
14. V. Santos Costa. Optimising Bytecode Emulation for Prolog. In Proceedings of Principles and Practice of Declarative Programming, number 1702 in Lecture Notes in Computer Science, pages 261-267, Paris, France, 1999. Springer-Verlag.
15. F. Silva and P. Watson. Or-Parallel Prolog on a Distributed Memory Architecture. Journal of Logic Programming, 43(2):173-186, 2000.
16. K. Villaverde, E. Pontelli, H. Guo, and G. Gupta. PALS: An Or-Parallel Implementation of Prolog on Beowulf Architectures. In Proceedings of the 17th International Conference on Logic Programming, number 2237 in Lecture Notes in Computer Science, pages 27-42. Springer-Verlag, 2001.
17. M. Wallace, S. Novello, and J. Schimpf. ECLiPSe: A Platform for Constraint Logic Programming. Technical report, IC-Parc, Imperial College, London, 1997.