Fifty Years of Prolog and Beyond
Philipp Korner,Michael Leuschel,João Luís Alves Barbosa,Vítor Santos Costa,Veronica Dahl,Manuel V. Hermenegildo,José F. Morales,Jan Wielemaker,Daniela Díaz,Sergio Abreu,Giovanni Ciatto +10 more
TLDR
A SWOT analysis is performed in order to better identify the potential of Prolog and propose future directions along with which Prolog might continue to add useful features, interfaces, libraries, and tools, while at the same time improving compatibility between implementations.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, 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. First, 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 with which Prolog might continue to add useful features, interfaces, libraries, and tools, while at the same time improving compatibility between implementations.read more
Citations
More filters
Posted Content
Parallel Logic Programming: A Sequel.
Agostino Dovier,Andrea Formisano,Gopal Gupta,Manuel V. Hermenegildo,Enrico Pontelli,Ricardo Rocha +5 more
TL;DR: A 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 as mentioned in this paper, and this has brought renewed interest in language-based approaches to the exploitation of parallelism.
Journal ArticleDOI
Parallel Logic Programming: A Sequel
TL;DR: A 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 as mentioned in this paper , and the field has continued evolving at a fast pace in the years that have followed.
Journal ArticleDOI
Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning
TL;DR: Logic-LM as mentioned in this paper integrates large language models with symbolic reasoning to improve logical problem-solving, which shows significant improvement compared to LLMs alone, with an average performance boost of 62.6% over standard prompting and 23.5% over chain of thought prompting.
Book ChapterDOI
Prolog: Past, Present, and Future
Gopal Gupta,Elmer Salazar,Farhad Shakerin,Joaquín Arias,Sarat Chandra Varanasi,Kinjal Basu,Huaduo Wang,Fang Li,Serdar Erbatur,Parth Padalkar,Abhiramon Rajasekharan,Yankai Zeng,Manuel Carro +12 more
TL;DR: In this paper , the authors argue that various extensions proposed for Prolog must be integrated seamlessly in a single system and discuss how goal-directed predicate answer set programming can be incorporated in Prolog, and how it facilitates development of advanced applications in AI and commonsense reasoning.
Journal ArticleDOI
Programming with rules and everything else, seamlessly
TL;DR: A language, Alda, that supports all of rules, sets, functions, updates, and objects as seamlessly integrated built-in, including concurrent and distributed processes and a compilation framework that ensures the declarative semantics ofrules, while also being able to exploit available optimizations.
References
More filters
Posted Content
BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding
TL;DR: A new language representation model, BERT, designed to pre-train deep bidirectional representations from unlabeled text by jointly conditioning on both left and right context in all layers, which can be fine-tuned with just one additional output layer to create state-of-the-art models for a wide range of tasks.
Proceedings ArticleDOI
Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
Patrick Cousot,Radhia Cousot +1 more
TL;DR: In this paper, the abstract interpretation of programs is used to describe computations in another universe of abstract objects, so that the results of abstract execution give some information on the actual computations.
Book
Cultivating Communities of Practice: A Guide to Managing Knowledge
Etienne Wenger,William Snyder +1 more
TL;DR: In this article, the authors provide practical models and methods for stewarding these communities to reach their full potential -without squelching the inner drive that makes them so valuable, and demonstrate that while communities form naturally, organizations need to become more proactive and systematic about developing and integrating them into their strategy.
Journal ArticleDOI
A Machine-Oriented Logic Based on the Resolution Principle
TL;DR: The paper concludes with a discussion of several principles which are applicable to the design of efficient proof-procedures employing resolution as the basle logical process.
Journal ArticleDOI
A Survey of Methods for Explaining Black Box Models
Riccardo Guidotti,Anna Monreale,Salvatore Ruggieri,Franco Turini,Fosca Giannotti,Dino Pedreschi +5 more
TL;DR: In this paper, the authors provide a classification of the main problems addressed in the literature with respect to the notion of explanation and the type of black box decision support systems, given a problem definition, a black box type, and a desired explanation, this survey should help the researcher to find the proposals more useful for his own work.