A parallel prolog system for distributed memory

Journal of Logic Programming

Volumn 33, Issue 1, 1997, Pages 49-79

  Araujo, Lourdes ^a   Ruz, Jose J ^b  

^a UNIVERSIDAD COMPLUTENSE DE MADRID   (Spain)

^b NONE

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER NETWORKS; DATA STRUCTURES; DISTRIBUTED COMPUTER SYSTEMS; MATHEMATICAL MODELS; MULTIPROCESSING SYSTEMS; OPTIMIZATION; PERFORMANCE; TRANSPUTERS;

PARALLEL EXECUTION SYSTEM; PROLOG DISTRIBUTED PROCESSOR; SEQUENTIAL PROGRAM;

PARALLEL PROCESSING SYSTEMS;

EID: 0031257431     PISSN: 07431066     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0743-1066(96)00117-3     Document Type: Article

References (34)

1. Ali, K. A. M., A Method for Implementing Cut in Parallel Execution of Prolog, Research Report SICS R87001, 1987.
2. Ali, K. A. M. and Karlsson, R., The Muse approach to Or-Parallel Prolog, Int. Journal of Parallel Programming 19(2):129-162 (1990).
3. Alshawi, H. and Moran, D. B., The Delphi Model and Some Preliminary Experiments, in: Fifth International Conference and Symposium on Logic Programming, MIT Press, Cambridge, MA, 1988, pp. 1578-1589.
4. Araujo, L. and Ruz, J. J., OR-Parallel Execution of Prolog on a Transputer-Based System, in: Transputers and Occam Research: New Directions, IOS Press, 1993, pp. 167-181.
5. Araujo, L. and Ruz, J. J., PDP: Prolog Distributed Processor for Independent_AND\ OR Parallel Execution of Prolog, in: Proceedings of the International Conference on Logic Programming, MIT Press, Cambridge, MA, 1994, pp. 142-156.
6. Araujo, L., Cut and Side-Effects on a Distributed Memory Implementation of Prolog, Technical Report 11-94, Universidad Complutense de Madrid, 1994.
7. Biswas, P., Su, S., and Yun, D., A Scalable Abstract Machine Model to Support Limited-OR(LOR)/Restricted- AND Parallelism (RAP) in Logic Programs, in: Proceedings of the International Conference on Logic Programming, MIT Press, Cambridge, MA, 1988, pp. 1160-1179.
8. Bueno, F. and Garía de la Banda, M., Effectiveness of Global Analysis in Strict Independence-Based Automatic Program Parallelization, in: International Symposium on Logic Programming, MIT Press, Cambridge, MA, 1994, pp. 320-336.
9. Calderwood, A. and Szeredi, P., Scheduling Or-Parallelism in Aurora - The Manchester Scheduler, in: Proceedings of the Conference on Logic Programming, MIT Press, Cambridge, MA, 1989, pp. 419-435.
10. Chang, J. H., Despain, A., and Degroot, D., AND-Parallelism of Logic Programs Based on a Static Dependency Analysis, in: Proceedings of the Spring Compton, IEEE, New York, 1985, pp. 218-225.
11. Conery, J. S., Parallel Execution of Logic Programs, Kluwer Academic, Norwell, MA, 1987.
12. Conery, J. S., Binding Environments for Parallel Logic Programs in Non-Shared Memory Multiprocessors, Int. Journal of Parallel Programming 17(2):125-152 (1988).
13. Debray, S. K., Lin, N.-W., and Hermenegildo, H., Task Granularity Analysis, in: SIGPLAN-90 Conference on Programming Language Design and Implementation, ACM, 1990, pp. 174-188.
14. Debray, S. K. and Lin, N., Automatic Complexity Analysis of Logic Programs, in: Proceedings of the International Conference on Logic Programming, MIT Press, Cambridge, MA, 1991, pp. 599-613.
15. Degroot, D., Restricted AND-Parallelism, in: Proceedings of the International Conference on Fifth Generation Computer Systems, ICOT, 1994, pp. 471-478.
16. Gupta, G. and Jayaraman, B., Compiled And-Or Parallelism on Shared Memory Multiprocessors, in: North American Conference on Logic Programming, MIT Press, Cambridge, MA, 1989, pp. 332-349.
17. Gupta, G., Hermenegildo, M., and Costa, V. S., And-Or Parallel Prolog: A Recomputation Based Approach, New Generation Computing 11(3/4):297-322 (1993).
18. Kuchen, H. and Wagener, A., Comparison of Dynamic Load Balancing Strategies, Technical Report 90-5, Aachener Informatik-Berichte, 1990.
19. Hermenegildo, M., An Abstract Machine Based Execution Model for Computer Architecture Design and Efficient Implementation of Logic Program in Parallel, Ph.D. Thesis, University of Texas at Austin, 1986.
20. Hermenegildo, M. and Greene, K., The &-Prolog System: Exploiting Independent And-Parallelism, New Generation Computing 9(3/4):233-257 (1991).
21. Kalé, L. V., The Reduce-OR Process Model for Parallel Execution of Logic Programs, J. Logic Programming 11:55-84 (1991).
22. Kowalsky, R. A., Predicate Logic as a Programming Language, in: Proceedings of the IFIP, North-Holland, Amsterdam, 1974, pp. 569-574.
23. Kowalsky, R. A., Algorithm = Logic + Control, Communications of the ACM 22:424-431 (1979).
24. López García, P., Hermenegildo, M., and Debray, S. K., A Methodology for Granularity Based Control of Parallelism in Logic Programs, J. Symbolic Computing, Special Issue on Parallel Symbolic Computation, to appear.
25. Mills, J. W. and Buettner, K. A., Assertive Demons, in: Proceedings of the International Conference on Logic Programming, MIT Press, Cambridge, MA, 1988, pp. 1403-1414.
26. Mudambi, S. and Schimpf, J., Parallel CLP on Heterogeneous Networks, in Proceedings of the International Conference on Logic Programming, MIT Press, Cambridge, MA, 1994, pp. 124-141.
27. Muthukumar, K. and Hermenegildo, M., Determination of Variable Dependence Information at Compile-Time through Abstract Interpretation, in: Proceedings of the North American Conference on Logic Programming, MIT Press, Cambridge, MA, 1989, pp. 166-185.
28. Muthukumar, K and Hermenegildo, M., Complete and Efficient Methods for Supporting Side-Effects in Independent\Restricted And-Parallelism, in: Proc. ICLP, 1989, pp. 80-97.
29. Sugie, M., Yoneyama, M., and Tarui, T., Load-Dispatching Strategy on Parallel Inference Machine, in: Proceedings of the International Conference on Fifth Generation Computer Systems, ICOT, 1988, pp. 987-993.
30. Tick, E., Compile-Time Granularity Analysis for Parallel Logic Programming Languages, New Generation Computing 7:325-337 (1990).
31. Verden, A. and Glaser, H., Independent AND-Parallel Prolog for Distributed Memory Architectures, Technical Report CSTR 90-17, University of Southampton, 1990.
32. Warren, D. H. D., An Abstract Prolog Instruction Set, Technical Report 309, SRI International, 1983.
33. Warren, D. H. D., Or-Parallel Execution Models of Prolog, in: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Springer-Verlag, Berlin, 1987, pp. 243-259.
34. Westphal, H., Robert, P., Chassin, J., and Syre, J., The PEPsys Model: Combining Backtracking, AND- and OR-Parallelism, in: Proceedings of the International Logic Programming Symposium, 1987, pp. 436-448.