https://arxiv.org/abs/2111.11218

close this message
arXiv smileybones icon

Global Survey

In just 3 minutes, help us better understand how you perceive arXiv.
Take the survey

TAKE SURVEY
Skip to main content
Cornell University
We gratefully acknowledge support from
the Simons Foundation and member institutions.
 
arXiv.org > cs > arXiv:2111.11218
[                    ]

Help | Advanced Search

[All fields        ]
Search
arXiv
Cornell University Logo
[                    ] GO
quick links

  * Login
  * Help Pages
  * About

Computer Science > Distributed, Parallel, and Cluster Computing

arXiv:2111.11218 (cs)
[Submitted on 22 Nov 2021]

Title:Parallel Logic Programming: A Sequel

Authors:Agostino Dovier, Andrea Formisano, Gopal Gupta, Manuel V.
Hermenegildo, Enrico Pontelli, Ricardo Rocha
Download PDF

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

          Distributed, Parallel, and Cluster Computing (cs.DC);
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science
          (cs.LO); Programming Languages (cs.PL)
Cite as:  arXiv:2111.11218 [cs.DC]
          (or arXiv:2111.11218v1 [cs.DC] for this version)

Submission history

From: Agostino Dovier [view email]
[v1] Mon, 22 Nov 2021 14:05:03 UTC (3,233 KB)
Full-text links:

Download:

  * PDF
  * Other formats

(license)
Current browse context:
cs.DC
< prev   |   next >
new | recent | 2111
Change to browse by:
cs
cs.AI
cs.LO
cs.PL

References & Citations

  * NASA ADS
  * Google Scholar
  * Semantic Scholar

a export bibtex citation Loading...

Bibtex formatted citation

x
[loading...          ]
Data provided by:

Bookmark

BibSonomy logo Mendeley logo Reddit logo ScienceWISE logo
(*) Bibliographic Tools

Bibliographic and Citation Tools

[ ] Bibliographic Explorer Toggle
Bibliographic Explorer (What is the Explorer?)
[ ] Litmaps Toggle
Litmaps (What is Litmaps?)
[ ] scite.ai Toggle
scite Smart Citations (What are Smart Citations?)
( ) Code & Data

Code and Data Associated with this Article

[ ] arXiv Links to Code Toggle
arXiv Links to Code & Data (What is Links to Code & Data?)
( ) Related Papers

Recommenders and Search Tools

[ ] Connected Papers Toggle
Connected Papers (What is Connected Papers?)
[ ] Core recommender toggle
CORE Recommender (What is CORE?)
( ) About arXivLabs

arXivLabs: experimental projects with community collaborators

arXivLabs is a framework that allows collaborators to develop and
share new arXiv features directly on our website.

Both individuals and organizations that work with arXivLabs have
embraced and accepted our values of openness, community, excellence,
and user data privacy. arXiv is committed to these values and only
works with partners that adhere to them.

Have an idea for a project that will add value for arXiv's community?
Learn more about arXivLabs and how to get involved.

Which authors of this paper are endorsers? | Disable MathJax (What is
MathJax?)

  * About
  * Help

  * Click here to contact arXiv Contact
  * Click here to subscribe Subscribe

  * Copyright
  * Privacy Policy

  * Web Accessibility Assistance
  * arXiv Operational Status
    Get status notifications via email or slack