Or-parallel prolog execution on clusters of multicores

• Type: Article in International Conference Proceedings Book
• Date: 2013

Authors

Santos, J (Author) Other; Rocha, R (Author) FCUP

Conference proceedings International

Title: OpenAccess Series in Informatics

Pages: 9-20

2nd Symposium on Languages, Applications and Technologies, SLATE 2013

Porto, 20 June 2013 through 21 June 2013

Indexing

ISI Web of Knowledge

Scopus - 1 Citation

Other information

Authenticus ID: P-008-KJT

DOI: 10.4230/oasics.slate.2013.9

Abstract (EN): Logic Programming languages, such as Prolog, provide an excellent framework for the parallel execution of logic programs. In particular, the inherent non-determinism in the way logic programs are structured makes Prolog very attractive for the exploitation of implicit parallelism. One of the most noticeable sources of implicit parallelism in Prolog programs is or-parallelism. Or-parallelism arises from the simultaneous evaluation of a subgoal call against the clauses that match that call. Arguably, the most successful model for or-parallelism is environment copying, that has been efficiently used in the implementation of or-parallel Prolog systems both on shared memory and distributed memory architectures. Nowadays, multicores and clusters of multicores are becoming the norm and, although, many parallel Prolog systems have been developed in the past, to the best of our knowledge, none of them was specially designed to explore the combination of shared with distributed memory architectures. Motivated by our past experience, in designing and developing parallel Prolog systems based on environment copying, we propose a novel computational model to efficiently exploit implicit parallelism from large scale real-world applications specialized for the novel architectures based on clusters of multicores. © João Santos and Ricardo Rocha.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 12