Prolog programming for artificial intelligence
Prolog programming for artificial intelligence
Parallel execution of logic programs
Parallel execution of logic programs
Optimism and parallelism in Prolog
Volume II: Parallel Languages on PARLE: Parallel Architectures and Languages Europe
Prolog multiprocessors
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
Concurrent Prolog
A parallel implementation of logic programs
A parallel implementation of logic programs
The Aurora or-parallel Prolog system
New Generation Computing - Selected papers on parallel logic programming from the International Conference on Fifth Generation Computer Systems, 1988
Non-strict independent and-parallelism
Logic programming
Prolog and its performance: exploiting independent and-parallelism
Logic programming
Task granularity analysis in logic programs
PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
Strand: new concepts in parallel programming
Strand: new concepts in parallel programming
Andorra I: a parallel Prolog system that transparently exploits both And-and or-parallelism
PPOPP '91 Proceedings of the third ACM SIGPLAN symposium on Principles and practice of parallel programming
Full Prolog and scheduling or-parallelism in muse
International Journal of Parallel Programming
The Muse Or-parallel Prolog model and its performance
Proceedings of the 1990 North American conference on Logic programming
Analysis of Or-parallel execution models
ACM Transactions on Programming Languages and Systems (TOPLAS)
Reform Prolog: the language and its implementation
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
Independence in constraint logic programs
ILPS '93 Proceedings of the 1993 international symposium on Logic programming
ACE: and/or-parallel copying-based execution of logic programs
Proceedings of the eleventh international conference on Logic programming
Effectiveness of global analysis in strict independence-based automatic parallelization
ILPS '94 Proceedings of the 1994 International Symposium on Logic programming
Last parallel call optimization and fast backtracking in and-parallel logic programming systems
ILPS '94 Proceedings of the 1994 International Symposium on Logic programming
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Principles and Practice of Constraint Programming
Principles and Practice of Constraint Programming
Multiprocessor Execution of Logic Programs
Multiprocessor Execution of Logic Programs
Concurrent PROLOG: Collected Papers
Concurrent PROLOG: Collected Papers
High Performance Compilers for Parallel Computing
High Performance Compilers for Parallel Computing
Efficient Management of Backtracking in AND-Parallelism
Proceedings of the Third International Conference on Logic Programming
An Abstract Machine for Restricted AND-Parallel Execution of Logic Programs
Proceedings of the Third International Conference on Logic Programming
&ACE: a high-performance parallel Prolog system
IPPS '95 Proceedings of the 9th International Symposium on Parallel Processing
PPCP '94 Proceedings of the Second International Workshop on Principles and Practice of Constraint Programming
Data parallel logic programming in &ACE
SPDP '95 Proceedings of the 7th IEEE Symposium on Parallel and Distributeed Processing
SPDP '96 Proceedings of the 8th IEEE Symposium on Parallel and Distributed Processing (SPDP '96)
An abstract machine based execution model for computer architecture design and efficient implementation of logic programs in parallel
Parallel execution of prolog programs: a survey
ACM Transactions on Programming Languages and Systems (TOPLAS)
Backtracking in Independent And-Parallel Implementations of Logic Programming Languages
IEEE Transactions on Parallel and Distributed Systems
Hi-index | 0.00 |
We present an overview of the ACE system, a sound and complete parallel implementation of Prolog that exploits parallelism transparently (i.e., without any user intervention) from AI programs and symbolic applications coded in Prolog. ACE simultaneously exploits all the major forms of parallelism – Or‐parallelism, Independent And‐parallelism, and Dependent And‐parallelism – found in Prolog programs. These three varieties of parallelism are discussed in detail, along with the problems encountered in their practical exploitation. Our solutions to these problems, incorporated in the ACE system, are presented. The ACE system has been implemented on Sequent Symmetry and Sun Sparc Multiprocessors; performance results from this implementation for several AI programs are presented, which confirm the effectiveness of the choices made.