Aurora vs muse: A portability study of two or-parallel prolog systems

• Type: Article in International Scientific Journal
• Date: 1995

Authors

Correia, ME (Author) FCUP; Silva, FMA (Author) FCUP; Costa, VS (Author) FCUP

Journal

Title: Computing systems in engineering

Vol. 6 No. 4-5

Pages: 345-349

ISSN: 0956-0521

Publisher: Pergamon Press - Elsevier

Indexing

ISI Web of Knowledge - 1 Citation

Scopus - 1 Citation

Scientific classification

FOS: Engineering and technology > Other engineering and technologies

Other information

Authenticus ID: P-001-GGW

DOI: 10.1016/0956-0521(95)00042-9

Abstract (EN): Prolog programs have explicit parallelism, that is, parallelism which can be exploited by a machine with minimal user effort. Or-parallelism is one such form of parallelism, and is particularly useful in that it is present in the many Prolog applications where several alternatives need to be considered. Or-parallelism has been exploited successfully in several systems, and especially in the Aurora and Muse systems. In this paper we analyze the portability of these two parallel systems onto a commercial shared memory parallel computer, a Sun SPARCcenter 2000 with 8 processors, running the Solaris 2.2 Operating System. We also analyze both systems' performance for classical benchmark programs and for two large Prolog applications.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 5