Logic Programming Research
Implementation and Performance of &ACE:
An Independent And-Parallel System
New Mexico State University, Technical Report.
Author(s)
Gopal Gupta,
Manuel Hermenegildo,
Enrico Pontelli
Abstract
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