Or-parallel Prolog on a distributed memory architecture

Journal of Logic Programming

Volumn 43, Issue 2, 2000, Pages 173-186

  Silva, Fernando ^a   Watson, Paul ^b  

^a UNIVERSITY OF PORTO   (Portugal)

^b NEWCASTLE UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; DATA STORAGE EQUIPMENT; DISTRIBUTED COMPUTER SYSTEMS; INTERCONNECTION NETWORKS; PROGRAM PROCESSORS; PROLOG (PROGRAMMING LANGUAGE);

DISTRIBUTED MEMORY ARCHITECTURE; MEMORY COHERENCY; OR-PARALLEL PROLOG SYSTEM; SOFTWARE PACKAGE DORPP; VIRTUAL SHARED MEMORY;

PARALLEL PROCESSING SYSTEMS;

EID: 0034190293     PISSN: 07431066     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0743-1066(99)00064-3     Document Type: Article

References (21)

1. K. Ali, R. Karlsson, The muse Or-parallel Prolog model and its performance, in: North American Conference on Logic Programming, MIT Press, Cambridge, MA, 1990.
2. K. Ali, R. Karlsson, Schedulling Or-parallelism in muse, in: International Conference in Logic Programming, MIT Press, Cambridge, MA, 1991.
3. K. Ali, R. Karlsson, S. Mudambi, Performance of muse on the BBN Butterfly TC2000, in: International Conference in Logic Programming, MIT Press, Cambridge, MA, 1991.
4. L. Araujo, J. Ruz, A parallel Prolog system for distributed memory, J. Logic Programming 33 (1) (1997) 49-80.
5. V. Benjumea, J.M. Troya, An OR parallel Prolog model for distributed memory systems, in: PLILP'93, Springer LNCS Series, 1993.
6. J. Briat et al., OPERA: Or-parallel Prolog system on supernode, in: Implementations of Distributed Prolog, Wiley, New York, 1992.
7. A. Calderwood, P. Szeredi, Scheduling Or-parallelism in Aurora - the Manchester scheduler, in: International Conference on Logic Programming, MIT Press, Cambridge, MA, 1989.
8. L.F. Castro, V. Santos Costa, C. Geyer, F. Silva, P. Kayser, M.E. Correia, DAOS - distributed And-Or in scalable systems, in: EuroPar'99, Springer LNCS series, 1999.
9. V. Santos Costa, R. Bianchini, I. Dutra, Evaluating the impact of coherence protocols on parallel logic programming systems, in: EUROMICRO Workshop on Parallel and Distributed Processing, IEEE Press, New York, 1997.
10. G. Gupta, B. Jayaraman, Analysis of Or-parallel execution models, ACM TOPLAS 15(4) (1993).
11. K. Li, P. Hudak, Memory coherence in shared virtual memory systems, ACM Transactions on Computer Systems 7 (4) (1989) 321-359.
12. E. Lusk, D.H.D. Warren, S. Haridi et al., The Aurora Or-parallel Prolog system, New Generation Computing 7 (23) (1990) 243-271.
13. S. Mudambi, Performances of Aurora on NUMA machines, in: International Conference on Logic Programming, MIT Press, Cambridge, MA, 1991.
14. P. Keleher et al., TreadMarks: Distributed shared memory on standard workstations and operating systems, in: Winter USENIX Conference, 1994.
15. J. Sargeant, EDS Parallel Machine Simulator: Version 2, EDS Research Document EDS.U-D.3I.M016, Manchester University, November 1991.
16. F.M.A. Silva, An implementation of Or-parallel Prolog on a distributed shared memory architecture, Ph.D. Thesis, University of Manchester, 1993.
17. P. Szeredi, Performance analysis of the Aurora Or-parallel Prolog system, in: North American Conference on Logic Programming, MIT Press, Cambridge, MA, 1989.
18. E. Tick, Parallel Logic Programming, MIT Press, Cambridge, MA, 1991.
19. D.H.D. Warren, The SRI model for Or-parallel execution of Prolog - abstract design and implementation issues, in: Symposium on Logic Programming, IEEE, 1987.
20. P. Watson, P. Townsend, The EDS parallel relational database system, in: Prisma Workshop on Database Systems, Springer LNCS 503, 1991.
21. R. Yang, T. Beaumont, I. Dutra, V. Santos Costa, D.H.D. Warren, Performance of the compiler-based Andorra-I system, in: International Conference on Logic Programming, MIT Press, Cambridge, MA, 1993.