# Parallel Logic Programming: A Sequel

arXiv: https://arxiv.org/abs/2111.11218 · HTML: https://mlsanity.com/paper/2111.11218/

## Key facts

- Cited by 3 papers in the map (data through 14 Oct 2026).
- Builds on 18 of its 306 references that are in the map.
- First posted on arXiv 22 Nov 2021.

## Builds on (most cited first, 18 of 18)

- [The Seventh Answer Set Programming Competition: Design and Results](https://mlsanity.com/paper/1904.09134/) (2019)
- [claspfolio 2: Advances in Algorithm Selection for Answer Set Programming](https://mlsanity.com/paper/1405.1520/) (2014)
- [Solver Scheduling via Answer Set Programming](https://mlsanity.com/paper/1401.1024/) (2014)
- [A Multi-Engine Approach to Answer Set Programming](https://mlsanity.com/paper/1306.4925/) (2013)
- [Fixpoint Semantics and Optimization of Recursive Datalog Programs with Aggregates](https://mlsanity.com/paper/1707.05681/) (2017)
- [Interval-based Resource Usage Verification by Translation into Horn Clauses and an Application to Energy Consumption](https://mlsanity.com/paper/1803.04451/) (2018)
- [A Review of Literature on Parallel Constraint Solving](https://mlsanity.com/paper/1803.10981/) (2018)
- [Scaling-Up In-Memory Datalog Processing: Observations and Techniques](https://mlsanity.com/paper/1812.03975/) (2018)
- [GPU-based parallelism for ASP-solving](https://mlsanity.com/paper/1909.01786/) (2019)
- [Accelerating Energy Games Solvers on Modern Architectures](https://mlsanity.com/paper/1710.03647/) (2017)
- [Logic Programming as a Service](https://mlsanity.com/paper/1806.02577/) (2018)
- [Scaling-Up Reasoning and Advanced Analytics on BigData](https://mlsanity.com/paper/1807.02957/) (2018)
- [A Case for Stale Synchronous Distributed Model for Declarative Recursive Computation](https://mlsanity.com/paper/1907.10278/) (2019)
- [Analysis and Transformation of Constrained Horn Clauses for Program Verification](https://mlsanity.com/paper/2108.00739/) (2021)
- [On Comparing Alternative Splitting Strategies for Or-Parallel Prolog Execution on Multicores](https://mlsanity.com/paper/1301.7690/) (2013)
- [Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR](https://mlsanity.com/paper/1511.01413/) (2015)
- [Multivariant Assertion-based Guidance in Abstract Interpretation](https://mlsanity.com/paper/1808.05197/) (2018)
- [From Big-Step to Small-Step Semantics and Back with Interpreter Specialisation](https://mlsanity.com/paper/2008.02931/) (2020)

## Built on by (most cited first, 3 of 3)

- [HT-HEDL: High-Throughput Hypothesis Evaluation in Description Logic](https://mlsanity.com/paper/2412.00802/) (2024)
- [XAI-LAW: A Logic Programming Tool for Modeling, Explaining, and Learning Legal Decisions](https://mlsanity.com/paper/2601.03844/) (2026)
- [Explaining Weather Bulletins via ILP](https://mlsanity.com/paper/2607.21184/) (2026)

## Abstract (arXiv)

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. 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. Under consideration in Theory and Practice of Logic Programming (TPLP).