Fifty Years of Prolog and Beyond

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.

Empower LlaMa 2 for Advanced Logical Reasoning in Natural Language Understanding

“…Hybrid models, combining statistical methods with rule-based logic, were developed and demonstrated increased flexibility in handling ambiguous data, and they allowed AI systems not only to execute tasks but also to explain their reasoning processes, an essential step towards transparent AI [11,12]. The implementation of logic programming languages like Prolog and Lisp had historically facilitated these advancements [13,14,15]. However, challenges were consistently observed, particularly in scaling these systems to handle real-world complexity without compromising performance [16,17].…”

On the Evolution of A.I. and Machine Learning: Towards Measuring and Understanding Impact, Influence, and Leadership at Premier A.I. Conferences

“…It was also before the first winter that Alain Colmerauer and Robert Kowalski would develop Prolog, now a prominent programming language, which was widely deployed in the 1970s and 1980s Kowalski [2014], Körner et al [2022] that also influenced the field of inductive logic programming and statistical relational learning Raedt et al [2016]. The feature that makes Prolog stand out among other languages is the fact that it is mostly a declarative language: the program logic is expressed in terms of logic predicates (relations), represented as facts and rules.…”

Diagnosis and treatment of Guillain-Barre using the prolog expert system

“…In the field of medicine, expert systems have been extensively utilized for the diagnosis of various medical conditions [9], [10]. Furthermore, Prolog is widely recognized as one of the most popular programming languages for expert system development [11], [12]. Moreover, it has the ability to work with rules and facts, which makes it an ideal choice for the implementation of a rule-based system and is the basis of artificial intelligence [13], [14].…”