Operating system concepts (2nd ed.)
Operating system concepts (2nd ed.)
A comparative study of unification algorithms for or-parallel execution of logic languages
IEEE Transactions on Computers
PARLOG: parallel programming in logic
ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
An abstract machine for restricted AND-parallel execution of logic programs
Proceedings on Third international conference on logic programming
Efficient management of backtracking in AND-parallelism
Proceedings on Third international conference on logic programming
Delta Prolog: a distributed backtracking extension with events
Proceedings on Third international conference on logic programming
Parallel logic programming for numeric applications
Proceedings on Third international conference on logic programming
Logic for problem-solving
Parallel execution of logic programs
Parallel execution of logic programs
Designing a high performance parallel logic programming system
ACM SIGARCH Computer Architecture News
Optimism and parallelism in Prolog
Volume II: Parallel Languages on PARLE: Parallel Architectures and Languages Europe
Prolog multiprocessors
Memory performance of prolog architectures
Memory performance of prolog architectures
Concurrent prolog: collected papers
Concurrent prolog: collected papers
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
Distributed processing of logic programs
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
A method for efficiently executing Horn clause programs using multiple processors
New Generation Computing
A Randomized Parallel Backtracking Algorithm
IEEE Transactions on Computers
Performance of an OR-parallel logic programming system
International Journal of Parallel Programming
Parallel consistent labeling algorithms
International Journal of Parallel Programming
A parallel implementation of logic programs
A parallel implementation of logic programs
Garbarge collection for Prolog based on WAM
Communications of the ACM
Functional computations in logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Or-parallel execution models of prolog
II and Colloquium on Functional and Logic Programming and Specifications (CFLP) on TAPSOFT '87: Advanced Seminar on Foundations of Innovative Software Development
Journal of Logic Programming
The family of concurrent logic programming languages
ACM Computing Surveys (CSUR)
Proceedings of the 1st International Conference on Supercomputing
Execution models of Prolog for parallel computers
Execution models of Prolog for parallel computers
An abstract machine to implement or-and parallel PROLOG efficiently
Journal of Logic Programming
A logic programming language based on the Andorra model
New Generation Computing - Selected papers on parallel logic programming from the International Conference on Fifth Generation Computer Systems, 1988
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
Kernel Andorra Prolog and its computation model
Logic programming
Pipeline optimizations in and-parallelism by abstract interpretation
Logic programming
Supercompilers for parallel and vector computers
Supercompilers for parallel and vector computers
Blackboard programming in shared Prolog
Selected papers of the second workshop on Languages and compilers for parallel computing
Task granularity analysis in logic programs
PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
Automata-driven indexing of Prolog clauses
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A framework for the parallel processing of Datalog queries
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
Compilation as partitioning: a new approach to compiling non-strict functional languages
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
The muse approach to Or-parallel Prolog
International Journal of 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
A practical framework for the abstract interpretation of logic programs
Journal of Logic Programming
Parallel logic programming
Flexible scheduling of or-parallelism is Aurora: the Bristol scheduler
PARLE '91 Proceedings on Parallel architectures and languages Europe : volume II: parallel languages: volume II: parallel languages
Interfacing engines and schedulers in Or-paralllel Prolog systems
PARLE '91 Proceedings on Parallel architectures and languages Europe : volume II: parallel languages: volume II: parallel languages
Warren's abstract machine: a tutorial reconstruction
Warren's abstract machine: a tutorial reconstruction
The reduce-or process model for parallel execution of logic programs
Journal of Logic Programming
Full Prolog and scheduling or-parallelism in muse
International Journal of Parallel Programming
Generation type garbage collection for parallel logic languages
Proceedings of the 1990 North American conference on Logic programming
A la recherche de la me´moire perdu: Memory compaction for shared memory multiprocessors
Proceedings of the 1990 North American conference on Logic programming
Joining AND parallel solutions in AND/OR parallel systems
Proceedings of the 1990 North American conference on Logic programming
Can logic programming execute as fast as imperative programming?
Can logic programming execute as fast as imperative programming?
Abstract interpretation and application to logic programs
Journal of Logic Programming
Static analysis of logic programs for independent and parallelism
Journal of Logic Programming
Compile-time derivation of variable dependency using abstract interpretation
Journal of Logic Programming
Global flow analysis as a practical compilation tool
Journal of Logic Programming
Implementations of distributed Prolog
Implementations of distributed Prolog
Analysis of Or-parallel execution models
ACM Transactions on Programming Languages and Systems (TOPLAS)
Cost analysis of logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Prolog with communicating processes: from T-Prolog to CSR-Prolog
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
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
Some paradigms for visualizing parallel execution of logic programs
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
Reform Prolog: the language and its implementation
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
Highly parallel computing (2nd ed.)
Highly parallel computing (2nd ed.)
Parallel logic programming systems
ACM Computing Surveys (CSUR)
An introduction to LIFE-programming with logic, inheritance, functions, and equations
ILPS '93 Proceedings of the 1993 international symposium on Logic programming
Applications of the Aurora parallel Prolog system to computational molecular biology
ILPS '93 Proceedings of the 1993 international symposium on Logic programming
Concurrent constraint logic programming on massively parallel SIMD computers
ILPS '93 Proceedings of the 1993 international symposium on Logic programming
Branch-level scheduling in Aurora: the Dharma scheduler
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
Parallel CLP on heterogeneous networks
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
Message-oriented parallel implementation of Moded Flat GHC
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 simple program transformation for parallelism
ILPS '94 Proceedings of the 1994 International Symposium on Logic programming
Improving abstract interpretations by combining domains
ACM Transactions on Programming Languages and Systems (TOPLAS)
Blackboard-based extensions in Prolog
Software—Practice & Experience
New Generation Computing - Special issue on the workshop on parallel logic programming
An and/or-parallel implementation of AKL
New Generation Computing - Special issue on the workshop on parallel logic programming
A methodology for granularity-based control of parallelism in logic programs
Journal of Symbolic Computation - Special issue on parallel symbolic computation
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
High-level characteristics of or- and independent and-parallelism in Prolog
International Journal of Parallel Programming
An evaluation of Penny: a system for fine grain implicit parallelism
PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation
Evaluating parallel logic programming systems on scalable multiprocessors
PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation
SIMPLE: a methodology for programming high performance algorithms on clusters of symmetric multiprocessors (SMPs)
The SBA: exploiting orthogonality in AND-OR parallel systems
ILPS '97 Proceedings of the 1997 international symposium on Logic programming
Lower-bound time-complexity analysis of logic programs
ILPS '97 Proceedings of the 1997 international symposium on Logic programming
Lower bound cost estimation for logic programs
ILPS '97 Proceedings of the 1997 international symposium on Logic programming
Partial order and contextual net semantics for atomic and locally atomic CC programs
Science of Computer Programming - Special issue on concurrent constraint programming
A distributed arc-consistency algorithm
Science of Computer Programming - Special issue on concurrent constraint programming
Programming languages for distributed applications
New Generation Computing
Natural language multiprocessing: a case study
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Distance: a new metric for controlling granularity for parallel execution
JICSLP'98 Proceedings of the 1998 joint international conference and symposium on Logic programming
VisAll: a universal tool to visualise the parallel execution of logic programs
JICSLP'98 Proceedings of the 1998 joint international conference and symposium on Logic programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
“KABU-WAKE” parallel inference mechanism and its evaluation
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
On the complexity of or-parallelism
New Generation Computing
Program analysis, debugging, and optimization using the ciao system preprocessor
Proceedings of the 1999 international conference on Logic programming
Stack-splitting: or-/and-parallelism on distributed memory machines
Proceedings of the 1999 international conference on Logic programming
Concurrency in Prolog using threads and a shared database
Proceedings of the 1999 international conference on Logic programming
Incremental analysis of constraint logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Parallel logic programming systems on scalable architectures
Journal of Parallel and Distributed Computing
Parallel Computing - special issue on parallel computing for irregular applications
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Multiprocessor Execution of Logic Programs
Multiprocessor Execution of Logic Programs
Parallel Logic Programming
Parallel symbolic computation in ACE
Annals of Mathematics and Artificial Intelligence
Machine Independent AND and OR Parallel Execution of Logic Programs: Part I-The Binding Environment
IEEE Transactions on Parallel and Distributed Systems
Global Analysis of Standard Prolog Programs
ESOP '96 Proceedings of the 6th European Symposium on Programming Languages and Systems
Scheduling Strategies and Speculative Work
ICLP '91 Pre-Conference Workshop on Parallel Execution of Logic Programs
Efficient Backtracking in And-Parallel Implementations of Non-deterministic Languages
ICPP '98 Proceedings of the 1998 International Conference on Parallel Processing
ICPP '02 Proceedings of the 2001 International Conference on Parallel Processing
Optimization Schemas for Parallel Implementation of Nondeterministic Languages and Systems
IPPS '97 Proceedings of the 11th International Symposium on Parallel Processing
COWL: Copy-On-Write for Logic Programs
IPPS '99/SPDP '99 Proceedings of the 13th International Symposium on Parallel Processing and the 10th Symposium on Parallel and Distributed Processing
&ACE: a high-performance parallel Prolog system
IPPS '95 Proceedings of the 9th International Symposium on Parallel Processing
Dynamic Memory Management for Sequential Logic Programming Languages
IWMM '92 Proceedings of the International Workshop on Memory Management
PPCP '94 Proceedings of the Second International Workshop on Principles and Practice of Constraint Programming
Parallel Execution Models for Constraint Programming over Finite Domains
PPDP '99 Proceedings of the International Conference PPDP'99 on Principles and Practice of Declarative Programming
Performance of a Data-Parallel Concurrent Constraint Programming System
ACSC '95 Proceedings of the 1995 Asian Computing Science Conference on Algorithms, Concurrency and Knowledge
Why and How in the ElipSys OR-parallel CLP System
PARLE '93 Proceedings of the 5th International PARLE Conference on Parallel Architectures and Languages Europe
Exploiting Parallelism in Tabled Evaluations
PLILPS '95 Proceedings of the 7th International Symposium on Programming Languages: Implementations, Logics and Programs
A New Data Structure for Implementing Extensions to Prolog
PLILP '90 Proceedings of the 2nd International Workshop on Programming Language Implementation and Logic Programming
Pruning and Scheduling Speculative Work in Or-Parallel Prolog
PARLE '89 Proceedings of the Parallel Architectures and Languages Europe, Volume II: Parallel Languages
An OR Parallel Prolog Model for Distributed Memory Systems
PLILP '93 Proceedings of the 5th International Symposium on Programming Language Implementation and Logic Programming
A Parallel Implementation for AKL
PLILP '93 Proceedings of the 5th International Symposium on Programming Language Implementation and Logic Programming
A Portable and Efficient Implementation of KL1
PLILP '94 Proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming
Towards Independent And-Parallelism in CLP
PLILP '96 Proceedings of the 8th International Symposium on Programming Languages: Implementations, Logics, and Programs
Compiler Optimizations in Reform Prolog: Experiments on the KSR-1 Multiprocessor
Euro-Par '95 Proceedings of the First International Euro-Par Conference on Parallel Processing
On the Duality Between Or-parallelism and And-parallelism in Logic Programming
Euro-Par '95 Proceedings of the First International Euro-Par Conference on Parallel Processing
Improving Distributed Unification through Type Analysis
Euro-Par '97 Proceedings of the Third International Euro-Par Conference on Parallel Processing
Euro-Par '99 Proceedings of the 5th International Euro-Par Conference on Parallel Processing
DAOS - Scalable And-Or Parallelism
Euro-Par '99 Proceedings of the 5th International Euro-Par Conference on Parallel Processing
IDRA (IDeal Resource Allocation): Computing Ideal Speedups in Parallel Logic Programming
Euro-Par '96 Proceedings of the Second International Euro-Par Conference on Parallel Processing-Volume II
Flexible Scheduling for Non-Deterministic, And-parallel Execution of Logic Programs
Euro-Par '96 Proceedings of the Second International Euro-Par Conference on Parallel Processing-Volume II
On the Complexity of Parallel Implementation of Logic Programs
Proceedings of the 17th Conference on Foundations of Software Technology and Theoretical Computer Science
Optimized Algorithms for Incremental Analysis of Logic Programs
SAS '96 Proceedings of the Third International Symposium on Static Analysis
Search Procedures and Parallelism in Constraint Programming
CP '99 Proceedings of the 5th International Conference on Principles and Practice of Constraint Programming
From Eventual to Atomic Locally Atomic CC Programs: A Concurrent Semantics
ALP '94 Proceedings of the 4th International Conference on Algebraic and Logic Programming
Independence in Dynamically Scheduled Logic Languages
ALP '96 Proceedings of the 5th International Conference on Algebraic and Logic Programming
Improving the Execution of Dependent And-Parallel Prolog DDAS
PARLE '94 Proceedings of the 6th International PARLE Conference on Parallel Architectures and Languages Europe
Distributing And-Work and Or-Work in Parallel Logic Programming Systems
HICSS '96 Proceedings of the 29th Hawaii International Conference on System Sciences Volume 1: Software Technology and Architecture
Implementation of multilisp: Lisp on a multiprocessor
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
Parallel interpretation of logic programs
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
Concurrent Web-Programming in CLP(WEB)
HICSS '00 Proceedings of the 33rd Hawaii International Conference on System Sciences-Volume 8 - Volume 8
Data parallel logic programming in &ACE
SPDP '95 Proceedings of the 7th IEEE Symposium on Parallel and Distributeed Processing
Parallel architectures for problem solving (prolog, logic-programming, interconnection, network)
Parallel architectures for problem solving (prolog, logic-programming, interconnection, network)
An abstract machine based execution model for computer architecture design and efficient implementation of logic programs in parallel
Concurrent constraint programming languages
Concurrent constraint programming languages
High performance logic programming
High performance logic programming
Relating data-parallelism and (and-) parallelism in logic programs
Computer Languages
PALS: An Or-Parallel Implementation of Prolog on Beowulf Architectures
Proceedings of the 17th International Conference on Logic Programming
Non-monotonic Reasoning on Beowulf Platforms
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
Ancestor Problems on Pure Pointer Machines
LATIN '02 Proceedings of the 5th Latin American Symposium on Theoretical Informatics
Abstract specialization and its applications
Proceedings of the 2003 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
"-LOG: A Domain Specific Language for Solving Phylogenetic Inference Problems
CSB '02 Proceedings of the IEEE Computer Society Conference on Bioinformatics
WI '04 Proceedings of the 2004 IEEE/WIC/ACM International Conference on Web Intelligence
On applying or-parallelism and tabling to logic programs
Theory and Practice of Logic Programming
P#: a concurrent prolog for the .NET framework
Software—Practice & Experience
An Embedded Microprocessor for Intelligent Control
Journal of Intelligent and Robotic Systems
The Knowledge Engineering Review
Heuristics, optimizations, and parallelism for protein structure prediction in CLP(FD)
PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
Issues in parallel execution of non-monotonic reasoning systems
Parallel Computing
High-level languages for small devices: a case study
CASES '06 Proceedings of the 2006 international conference on Compilers, architecture and synthesis for embedded systems
Journal of Parallel and Distributed Computing
Towards a high-level implementation of flexible parallelism primitives for symbolic languages
Proceedings of the 2007 international workshop on Parallel symbolic computation
Dynamic scheduling in parallel answer set programming solvers
SpringSim '07 Proceedings of the 2007 spring simulation multiconference - Volume 2
Experimenting with parallelism for the instantiation of ASP programs
Journal of Algorithms
Multiphase Data Exchange in Distributed Logic-Algebraic Based Processing
IEA/AIE '08 Proceedings of the 21st international conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems: New Frontiers in Applied Artificial Intelligence
Concurrency, Graphs and Models
Parallel Computation Techniques for Ontology Reasoning
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs
Logic-Based Program Synthesis and Transformation
The Life of a Logic Programming System
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Thread-Based Competitive Or-Parallelism
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
High Level Thread-Based Competitive Or-Parallelism in Logtalk
PADL '09 Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages
Non-strict independence-based program parallelization using sharing and freeness information
Theoretical Computer Science
Computer Languages, Systems and Structures
Scalable Web Reasoning Using Logic Programming Techniques
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
Parallel computations for logic-algebraic based expert systems
KES'07/WIRN'07 Proceedings of the 11th international conference, KES 2007 and XVII Italian workshop on neural networks conference on Knowledge-based intelligent information and engineering systems: Part I
PADL'08 Proceedings of the 10th international conference on Practical aspects of declarative languages
High-level multi-threading programming in logtalk
PADL'08 Proceedings of the 10th international conference on Practical aspects of declarative languages
Threads and or-parallelism unified
Theory and Practice of Logic Programming
Applying prolog to develop distributed systems
Theory and Practice of Logic Programming
Proceedings of the sixth workshop on Declarative aspects of multicore programming
Integrated symbol table, engine and heap memory management in multi-engine prolog
Proceedings of the international symposium on Memory management
Coordination and concurrency in multi-engine prolog
COORDINATION'11 Proceedings of the 13th international conference on Coordination models and languages
Rule-based distributed and agent systems
RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
PLATYPUS: a platform for distributed answer set solving
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Or-parallel prolog execution on multicores based on stack splitting
DAMP '12 Proceedings of the 7th workshop on Declarative aspects and applications of multicore programming
ISPA'04 Proceedings of the Second international conference on Parallel and Distributed Processing and Applications
An investigation of sharing strategies for answer set solvers and SAT solvers
Euro-Par'05 Proceedings of the 11th international Euro-Par conference on Parallel Processing
Sicstus prolog-the first 25 years
Theory and Practice of Logic Programming - Prolog Systems
An overview of ciao and its design philosophy
Theory and Practice of Logic Programming - Prolog Systems
Determinacy analysis for logic programs using mode and type information
LOPSTR'04 Proceedings of the 14th international conference on Logic Based Program Synthesis and Transformation
Symbolic execution of concurrent objects in CLP
PADL'12 Proceedings of the 14th international conference on Practical Aspects of Declarative Languages
A segment-swapping approach for executing trapped computations
PADL'12 Proceedings of the 14th international conference on Practical Aspects of Declarative Languages
An optimal data structure to handle dynamic environments in non-deterministic computations
Computer Languages, Systems and Structures
Multi-threaded asp solving with clasp
Theory and Practice of Logic Programming
Prolog programming with a map-reduce parallel construct
Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming
Hi-index | 0.00 |
Since the early days of logic programming, researchers in the field realized the potential for exploitation of parallelism present in the execution of logic programs. Their high-level nature, the presence of nondeterminism, and their referential transparency, among other characteristics, make logic programs interesting candidates for obtaining speedups through parallel execution. At the same time, the fact that the typical applications of logic programming frequently involve irregular computations, make heavy use of dynamic data structures with logical variables, and involve search and speculation, makes the techniques used in the corresponding parallelizing compilers and run-time systems potentially interesting even outside the field. The objective of this article is to provide a comprehensive survey of the issues arising in parallel execution of logic programming languages along with the most relevant approaches explored to date in the field. Focus is mostly given to the challenges emerging from the parallel execution of Prolog programs. The article describes the major techniques used for shared memory implementation of Or-parallelism, And-parallelism, and combinations of the two. We also explore some related issues, such as memory management, compile-time analysis, and execution visualization.