论文信息 - 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

[1] Mats Carlsson,et al. SICStus Prolog User''s Manual , 1993 .

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

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

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

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

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

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