Parallel Logic Programming: A Sequel
Agostino Dovier, Andrea Formisano, Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli and Ricardo Rocha
2022
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. 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.
Bibtex
@Article{dovier-tplp22,
author = {A. Dovier and A. Formisano and G. Gupta and M. V. Hermenegildo and E. Pontelli and R. Rocha},
title = {{Parallel Logic Programming: A Sequel}},
journal = {Journal of Theory and Practice of Logic Programming},
pages = {905--973},
volume = {22},
number = {6},
month = {November},
year = {2022},
}
Download Paper
PDF file
Cambridge University Press
Computing Research Repository (CoRR)