See this document in CiteSeerX!

ACE: A High-Performance Parallel Prolog System for Parallel Symbolic Computing  (Make Corrections)  
Enrico Pontelli, Gopal Gupta, Manuel Hermenegildo



  Home/Search   Context   Related

 
View or download:
nmsu.edu/~gupta/ace/ipps95.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  nmsu.edu/~gupta/ace (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: : In recent years a lot of research has been invested in parallel processing of numerical applications. However, parallel processing of Symbolic and Artificial Intelligence applications has largely been ignored. This paper presents a high performance system for parallel symbolic computing based on the logic programming paradigm. Logic programming is a paradigm of programming based on a subset of first order logic. An important property of logic programming languages, such as Prolog, is that ... (Update)

Similar documents (at the sentence level):   More
69.4%:   ACE: A High-Performance Parallel Prolog System - Pontelli (1995)   (Correct)
46.1%:   &ACE: The And-parallel Component of ACE (A Progress.. - Pontelli, Hermenegildo, ..   (Correct)
10.5%:   Natural Language Multiprocessing: A Case Study - Pontelli, Gupta, Wiebe, Farwell (1998)   (Correct)

Active bibliography (related documents):   More   All
0.4:   Parallel Execution of Prolog Programs: A Survey - Gupta, Ali, Carlsson, al. (1995)   (Correct)
0.2:   A note on Data-Parallelism and (And-Parallel) Prolog.. - Hermenegildo, Carro   (Correct)
0.2:   A New Implementation Scheme for Combining And/Or Parallelism - Shen   (Correct)

Similar documents based on text:   More   All
0.1:   Last Parallel Call Optimization and Fast Backtracking.. - Tang, Pontelli.. (1994)   (Correct)
0.1:   Towards Dynamically Adaptive Replicated Databases - Milan Jimenez-Peris..   (Correct)
0.1:   Incremental Analysis of Constraint Logic Programs - Hermenegildo, Puebla.. (2000)   (Correct)

BibTeX entry:   (Update)

@misc{ pontelli-ace,
  author = "Enrico Pontelli and Gopal Gupta and Manuel Hermenegildo",
  title = "ACE: A High-Performance Parallel Prolog System for Parallel Symbolic Computing",
  url = "citeseer.ist.psu.edu/329030.html" }
Citations (may not include all citations):
352   Supercompilers for Parallel and Vector Computers (context) - Zima, Chapman - 1991
168   The parallel execution of DO-loops (context) - Lamport - 1974
89   Optimizing Supercompilers for Supercomputers (context) - Wolfe - 1989
83   Prolog and its Performance: Exploiting Independent AndParall.. (context) - Hermenegildo, Greene - 1990
73   Restricted AND-Parallelism (context) - DeGroot - 1984
59   Combined Determination of Sharing and Freeness of Program Va.. - Muthukumar, Hermenegildo - 1991
56   Or-parallel Copyingbased Execution of Logic Programs (context) - Gupta, Hermenegildo et al. - 1994
34   The MUSE Approach to Or-parallel Prolog - Ali, Karlsson - 1990
31   An Abstract Machine Based Execution Model for Computer Archi.. (context) - Hermenegildo - 1986
29   Full Prolog and Scheduling Or-Parallelism in MUSE (context) - Ali, Karlsson - 1990
9   Parallel Algorithms for Machine Intelligence and Vision (context) - Kumar, Gopalakrishnan et al. - 1990
9   Recomputation based Implementation of And-Or Parallel Prolog (context) - Gupta, Hermenegildo - 1992
7   Machine Independent AND and OR Parallel Execution of Logic P.. (context) - Ramkumar, Kale
5   Last Parallel Call Optimization and Fast Backtracking in And.. - Tang, Pontelli et al. - 1994
2   Industrial Sicstus Prolog Internals Manual (context) - of, Science - 1989

Documents on the same site (http://www.cs.nmsu.edu/~gupta/ace.html):   More
Shared Paged Binding Array: A Universal Datastructure for .. - Gupta, Costa, Pontelli (1994)   (Correct)
Automatic Compile-Time Parallelization of Prolog.. - Pontelli, Gupta.. (1997)   (Correct)
Efficient Backtracking in And-Parallel Implementations of.. - Pontelli, Gupta (1998)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC