Fifty Years of Prolog and Beyond

by   Philipp Körner, et al.

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.


page 1

page 2

page 3

page 4


On the Evolution of Programming Languages

This paper attempts to connects the evolution of computer languages with...

Making ProB compatible with SWI-Prolog

Even though the core of the Prolog programming language has been standar...

Logic Programming Applications: What Are the Abstractions and Implementations?

This article presents an overview of applications of logic programming, ...

Advances in Machine Learning for the Behavioral Sciences

The areas of machine learning and knowledge discovery in databases have ...

Shared memory parallelism in Modern C++ and HPX

Parallel programming remains a daunting challenge, from the struggle to ...

Quantitative Aspects of Programming Languages and Systems over the past 2^4 years and beyond

Quantitative aspects of computation are related to the use of both physi...

ReferentialGym: A Nomenclature and Framework for Language Emergence Grounding in (Visual) Referential Games

Natural languages are powerful tools wielded by human beings to communic...

Please sign up or login with your details

Forgot password? Click here to reset