https://arxiv.org/abs/2201.10816

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:2201.10816
[                    ]

Help | Advanced Search

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

  * Login
  * Help Pages
  * About

Computer Science > Logic in Computer Science

arXiv:2201.10816 (cs)
[Submitted on 26 Jan 2022]

Title:50 Years of Prolog and Beyond

Authors:Philipp Korner, Michael Leuschel, Joao Barbosa, Vitor Santos
Costa, Veronica Dahl, Manuel V. Hermenegildo, Jose F. Morales, Jan
Wielemaker, Daniel Diaz, Salvador Abreu, Giovanni Ciatto
Download PDF

    Abstract: Both logic programming in general, and Prolog in
    particular, have a long and fascinating history, intermingled
    with that of many disciplines they inherited from or catalyzed. A
    large body of research has been gathered over the last 50 years,
    supported by many Prolog implementations. Many implementations
    are still actively developed, while new ones keep appearing.
    Often, the features added by different systems were motivated by
    the interdisciplinary needs of programmers and implementors,
    yielding systems that, while sharing the "classic" core language,
    and, in particular, the main aspects of the ISO-Prolog standard,
    also depart from each other in other aspects. This obviously
    poses challenges for code portability. The field has also
    inspired many related, but quite different languages that have
    created their own communities.
    This article aims at integrating and applying the main lessons
    learned in the process of evolution of Prolog. It is structured
    into three major parts. Firstly, we overview the evolution of
    Prolog systems and the community approximately up to the ISO
    standard, considering both the main historic developments and the
    motivations behind several Prolog implementations, as well as
    other logic programming languages influenced by Prolog. Then, we
    discuss the Prolog implementations that are most active after the
    appearance of the standard: their visions, goals, commonalities,
    and incompatibilities. Finally, we perform a SWOT analysis in
    order to better identify the potential of Prolog, and propose
    future directions along which Prolog might continue to add useful
    features, interfaces, libraries, and tools, while at the same
    time improving compatibility between implementations.

Comments: 75 pages, 2 figures, submitted to the Theory and Practice
          of Logic Programming 20th Anniversary Issue
Subjects: Logic in Computer Science (cs.LO)
Cite as:  arXiv:2201.10816 [cs.LO]
          (or arXiv:2201.10816v1 [cs.LO] for this version)

Submission history

From: Philipp Korner [view email]
[v1] Wed, 26 Jan 2022 08:43:00 UTC (166 KB)
Full-text links:

Download:

  * PDF
  * PostScript
  * Other formats

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

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