Abstract:Abstract Multi-core and highly connected architectures have become ubiquitous, and this has brought renewed interest in language-based approaches to the exploitation of parallelism. Since its inception, logic programming has been recognized as a programming paradigm with great potential for automated exploitation of parallelism. The comprehensive survey of the first twenty years of research in parallel logic programming, published in 2001, has served since as a fundamental reference to researchers and developers. The contents are quite valid today, but at the same time the field has continued evolving at a fast pace in the years that have followed. Many of these achievements and ongoing research have been driven by the rapid pace of technological innovation, that has led to advances such as very large clusters, the wide diffusion of multi-core processors, the game-changing role of general-purpose graphic processing units, and the ubiquitous adoption of cloud computing. This has been paralleled by significant advances within logic programming, such as tabling, more powerful static analysis and verification, the rapid growth of Answer Set Programming, and in general, more mature implementations and systems. This survey provides a review of the research in parallel logic programming covering the period since 2001, thus providing a natural continuation of the previous survey. In order to keep the survey self-contained, it restricts its attention to parallelization of the major logic programming languages (Prolog, Datalog, Answer Set Programming) and with an emphasis on automated parallelization and preservation of the sequential observable semantics of such languages. The goal of the survey is to serve not only as a reference for researchers and developers of logic programming systems but also as engaging reading for anyone interested in logic and as a useful source for researchers in parallel systems outside logic programming.

Proceedings 36th International Conference on Logic Programming (Technical Communications)

Proceedings 35th International Conference on Logic Programming (Technical Communications)

Proceedings 38th International Conference on Logic Programming

Introduction to the 35th International Conference on Logic Programming Special Issue

Proceedings Seventh International Workshop on Classical Logic and Computation

Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice

Proceedings Fifth International Workshop on Classical Logic and Computation

Proceedings of the 18th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice

18th Workshop on Logic-based methods in Programming Environments (WLPE 2008)

Post-Proceedings of the First International Workshop on Learning and Nonmonotonic Reasoning

Programme Committee Chairs

Proceedings of CICLOPS-WLPE 2010

Integrating Reasoning Systems for Trustworthy AI, Proceedings of the 4th Workshop on Logic and Practice of Programming (LPOP)

Parallel Logic Programming: A Sequel

Rewriting Logic and its Applications First International Workshop, Asilomar Conference Center, Pacific Grove, California, 3-6 September 1996. Volume 4 Electronic Notes in Theoretical Computer Science.

Introduction to the 26th International Conference on Logic Programming Special Issue

Proceedings of the Twentieth International Conference on Quantum Physics and Logic

the Sixth International Symposium on Functional and Logic Programming.

Programming with High-Level Abstractions, Proceedings of the 3rd Workshop on Logic and Practice of Programming

Proceedings 14th International Conference on Quantum Physics and Logic

AppLP: A Dialogue on Applications of Logic Programming