Logic Programming Research

Implementation and Performance of &ACE: An Independent And-Parallel System

New Mexico State University, Technical Report.

Gopal Gupta, Manuel Hermenegildo, Enrico Pontelli

In recent years a lot of research has been invested in parallel processing of numerical applications. However, parallel processing of Symbolic and AI applications has received less attention. This paper presents a high performance system for parallel symbolic computing, named ACE, based on the logic programming paradigm. ACE is a computational model for the full Prolog language, capable of exploiting Or-parallelism and Independent And-parallelism. In this paper we focus on the implementation of the and-parallel component of the ACE system (called &ACE) on a shared memory multiprocessor, describing its internal organization, some optimizations to the basic model, and finally presenting some performance figures. These performance figures show that our system is very good at exploiting parallelism from applications written in Prolog since it is able to obtain linear speedups. &ACE is the first ever complete and-parallel system that has been implemented for full Prolog.}

The whole paper can be downloaded from our server.

Logic Prog. Page Research Page Lab Home Page