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
P-Prolog: a parallel logic programming language based on exclusive relation
Proceedings on Third international conference on logic programming
Abstract interpretation of Prolog programs
Proceedings on Third international conference on logic programming
Logic for problem-solving
A parallel implementation of flat concurrent prolog
International Journal of Parallel Programming
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
The concurrent logic programming language CP: Definition and operational semantics
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A method for efficiently executing Horn clause programs using multiple processors
New Generation Computing
Parallel logic programming techniques
Parallel logic programming techniques
Constraint satisfaction in logic programming
Constraint satisfaction in logic programming
The family of concurrent logic programming languages
ACM Computing Surveys (CSUR)
Systems programming in parallel logic languages
Systems programming in parallel logic languages
Solving large combinatorial problems in logic programming
Journal of Logic Programming - Logic programming applications
An abstract machine to implement or-and parallel PROLOG efficiently
Journal of Logic Programming
Communications of the ACM
A new external reference management and distributed unification for KL1
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
Non-strict independent and-parallelism
Logic programming
Prolog and its performance: exploiting independent and-parallelism
Logic programming
Logic and functional programming on distributed memory architectures
Logic programming
Task granularity analysis in logic programs
PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
Concurrent constraint programming
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A multi-level load balancing scheme for OR-parallel exhaustive search programs on the multi-PSI
PPOPP '90 Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming
Strand: new concepts in parallel programming
Strand: new concepts in parallel programming
Design of the kernel language for the parallel inference machine
The Computer Journal - On concurrent logic programming
A practical framework for the abstract interpretation of logic programs
Journal of Logic Programming
Scheduling of OR-parllel Prolog on a scalable, reconfigurable, distributed-memory multiprocessor
PARLE '91 Proceedings on Parallel architectures and languages Europe : volume II: parallel languages: volume II: parallel languages
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
Warren's abstract machine: a tutorial reconstruction
Warren's abstract machine: a tutorial reconstruction
Abstract interpretation for concurrent logic languages
Proceedings of the 1990 North American conference on Logic programming
Optimizing and-or parallel implementations
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
The Muse Or-parallel Prolog model and its performance
Proceedings of the 1990 North American conference on Logic programming
Logic programming as the integrator of the Fifth Generation Computer Systems project
Communications of the ACM
Ultracomputers: a teraflop before its time
Communications of the ACM
Machine independent “and” and “or” parallel execution of logic programs
Machine independent “and” and “or” parallel execution of logic programs
Survey of commercial parallel machines
ACM SIGARCH Computer Architecture News
Performance of the compiler-based Andorra-I system
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
“KABU-WAKE” parallel inference mechanism and its evaluation
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Comparing Two Parallel Logic-Programming Architectures
IEEE Software
ACE: And/Or-parallel Copying-based Execution of Logic Programs
ICLP '91 Pre-Conference Workshop on Parallel Execution of Logic Programs
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
Pruning and Scheduling Speculative Work in Or-Parallel Prolog
PARLE '89 Proceedings of the Parallel Architectures and Languages Europe, Volume II: Parallel Languages
A relational language for parallel programming
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
Design, Implementation, and Evaluation of the Constraint Language cc(FD)
Design, Implementation, and Evaluation of the Constraint Language cc(FD)
The and/or process model for parallel interpretation of logic programs
The and/or process model for parallel interpretation of logic programs
Implementation of committed choice logic languages on shared memory multiprocessors
Implementation of committed choice logic languages on shared memory multiprocessors
Concurrent constraint programming languages
Concurrent constraint programming languages
Logic programming and constraint logic programming
ACM Computing Surveys (CSUR)
Strategic directions in constraint programming
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Some challenges for constraint programming
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Models and languages for parallel computation
ACM Computing Surveys (CSUR)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Programming languages and systems for prototyping concurrent applications
ACM Computing Surveys (CSUR)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Parallel execution of prolog programs: a survey
ACM Transactions on Programming Languages and Systems (TOPLAS)
The HSSM macro-architecture, Virtual Machine and H languages
ACM SIGPLAN Notices
Constraint Programming: Strategic Directions
Constraints
Some Challenges for Constraint Programming
Constraints
Asynchronous Random Polling Dynamic Load Balancing
ISAAC '99 Proceedings of the 10th International Symposium on Algorithms and Computation
Implementing LOGFLOW on a Workstation Cluster
HPC-ASIA '97 Proceedings of the High-Performance Computing on the Information Superhighway, HPC-Asia '97
Experimenting with parallelism for the instantiation of ASP programs
Journal of Algorithms
Computer Languages, Systems and Structures
Programming constraint services: high-level programming of standard and new constraint services
Programming constraint services: high-level programming of standard and new constraint services
Experiments in parallel constraint-based local search
EvoCOP'11 Proceedings of the 11th European conference on Evolutionary computation in combinatorial optimization
PLATYPUS: a platform for distributed answer set solving
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
FLOPS'06 Proceedings of the 8th international conference on Functional and Logic Programming
LAILA: a language for coordinating abductive reasoning among logic agents
Computer Languages
Targeting the Cell Broadband Engine for constraint-based local search
Concurrency and Computation: Practice & Experience
Multi-threaded asp solving with clasp
Theory and Practice of Logic Programming
| Hi-index | 0.00 |
Parallelizing logic programming has attracted much interest in the research community, because of the intrinsic OR- and AND-parallelisms of logic programs. One research stream aims at transparent exploitation of parallelism in existing logic programming languages such as Prolog, while the family of concurrent logic languages develops language constructs allowing programmers to express the concurrency—that is, the communication and synchronization between parallel processes—within their algorithms. This article concentrates mainly on transparent exploitation of parallelism and surveys the most mature solutions to the problems to be solved in order to obtain efficient implementations. These solutions have been implemented, and the most efficient parallel logic programming systems reach effective speedups over state-of-the-art sequential Prolog implementations. The article also addresses current and prospective research issues in extending the applicability and the efficiency of existing systems, such as models merging the transparent parallelism and the concurrent logic languages approaches, combination of constraint logic programming with parallelism, and use of highly parallel architectures.