论文信息 - Performance of Muse on the BBN Butterfly TC2000

Performance of Muse on the BBN Butterfly TC2000

Muse is a simple and efficient approach to Or-parallel implementation of the full Prolog language. It is based on having multiple sequential Prolog engines, each with its local address space, and some shared memory space. It is currently implemented on a number of bus-based and switch-based multiprocessors.

Khayri A. M. Ali | Roland Karlsson | Shyam Mudambi | R. Karlsson | K. M. A. Ali

[1] David H. D. Warren,et al. The SRI Model for Or-Parallel Execution of Prolog: Abstract Design and Implementation Issues , 1987, SLP.

[2] Péter Szeredi. Performance Analysis of the Aurora Or-Parallel Prolog System , 1989, NACLP.

[3] Péter Szeredi,et al. Scheduling Or-parallelism in Aurora: The Manchester Scheduler , 1989, International Conference on Logic Programming.

[4] Philippe Robert,et al. The Parallel ECRC Prolog System PEPSys: An Overview and Evaluation Results , 1988, FGCS.

[5] Khayri A. M. Ali,et al. The Muse Or-Parallel Prolog Model and its Performance , 1990, NACLP.

[6] Khayri A. M. Ali,et al. Scheduling Or-Parallelism in Muse , 1991, ICLP.