An abstract machine for restricted AND-parallel execution of logic programs
Proceedings on Third international conference on logic programming
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
Compile-time granularity analysis for parallel logic programming languages
New Generation Computing - Selected papers on parallel logic programming from the International Conference on Fifth Generation Computer Systems, 1988
Task granularity analysis in logic programs
PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
Determinacy analysis for full Prolog
PEPM '91 Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Static analysis of logic programs for independent and parallelism
Journal of Logic Programming
Implementations of distributed Prolog
Implementations of distributed Prolog
Software—Practice & Experience
Cost analysis of logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Scheduling speculative work in Or-parallel Prolog systems
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
Performance of the compiler-based Andorra-I system
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
Branch-level scheduling in Aurora: the Dharma scheduler
ILPS '93 Proceedings of the 1993 international symposium on Logic programming
Proceedings of the eleventh international conference on Logic programming
A compile-time granularity analysis algorithm and its performance evaluation
Selected papers of international conference on Fifth generation computer systems 92
And-Or parallel Prolog: a recomputation based approach
Selected papers of international conference on Fifth generation computer systems 92
Strategies for scheduling and- and or- work in parallel logic programming systems
ILPS '94 Proceedings of the 1994 International Symposium on Logic programming
A methodology for granularity-based control of parallelism in logic programs
Journal of Symbolic Computation - Special issue on parallel symbolic computation
Lower-bound time-complexity analysis of logic programs
ILPS '97 Proceedings of the 1997 international symposium on Logic programming
Distance: a new metric for controlling granularity for parallel execution
JICSLP'98 Proceedings of the 1998 joint international conference and symposium on Logic programming
Program analysis, debugging, and optimization using the ciao system preprocessor
Proceedings of the 1999 international conference on Logic programming
Communications of the ACM
PROLOG Programming for Artificial Intelligence
PROLOG Programming for Artificial Intelligence
Distributed Systems: Concepts and Design
Distributed Systems: Concepts and Design
A Distributed Prolog System with And Parallelism
IEEE Software
HPCN Europe 1998 Proceedings of the International Conference and Exhibition on High-Performance Computing and Networking
&ACE: a high-performance parallel Prolog system
IPPS '95 Proceedings of the 9th International Symposium on Parallel Processing
OR-Parallel Prolog on Distributed Memory Systems
PARLE '94 Proceedings of the 6th International PARLE Conference on Parallel Architectures and Languages Europe
A Freeness and Sharing Analysis of Logic Programs Based on a Pre-interpretation
SAS '96 Proceedings of the Third International Symposium on Static Analysis
Improving the Execution of Dependent And-Parallel Prolog DDAS
PARLE '94 Proceedings of the 6th International PARLE Conference on Parallel Architectures and Languages Europe
Modeling and Analysis of Task Migration in Shared-Memory Multiprocessor Computer Systems
MASCOTS '96 Proceedings of the 4th International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems
Granularity Control for Distributed Execution of Logic Programs
ICDCS '98 Proceedings of the The 18th International Conference on Distributed Computing Systems
| Hi-index | 0.00 |
PAN is a general purpose, portable environment for executing logic programs in parallel. It combines a flexible, distributed architecture which is resilient to software and platform evolution with facilities for automatically extracting and exploiting AND and OR parallelism in ordinary Prolog programs. PAN incorporates a range of compile-time and run-time techniques to deliver the performance benefits of parallel execution while retaining sequential execution semantics. Several examples illustrate the efficiency of the controls that facilitate the execution of logic programs in a distributed manner and identify the class of applications that benefit from distributed platforms like PAN.