Prolog is a programming language that is rooted in formal logic. It supports backtracking and unification as built-in features. Prolog allows us to elegantly solve many tasks with short and general programs.
The goal of this material is to bridge the gap between the great traditional Prolog textbooks of the past and the language as it currently is, several decades after these books were written. You will see that many limitations of the past are no longer relevant, while several new constructs are now of great importance even though they are not yet covered in any available Prolog book.
This book is self-hosting: It includes an HTTP server that lets you browse most of the content locally. When you access files that are not locally available, it redirects to their online versions.
To run it, you need SWI-Prolog≥7.5.10. To spawn the server on port 5053, use for example:
$ swipl main.pl --port=5053
Then, direct your browser to:
If you are new to Prolog, read the chapters in order for a self-contained exposition of many important language features. If you already have some experience with Prolog and would like to learn more about more recent aspects, I recommend you start with the chapter on integer arithmetic and proceed with the chapters it links to.
The latest version of this book is always available from:
https://www.metalevel.at/prolog
I will periodically synch this repository with new material as it becomes available.
I started writing this book in 2005, when I was a student of Ulrich Neumerkel in Vienna. A collection of Prolog meta-interpreters formed the first chapter.
You can run most of the examples with any popular Prolog system, such
as GNU Prolog, SICStus Prolog, YAP and SWI. In some
cases, slight modifications may be necessary to adjust for different
libraries or small variations. See your Prolog system's manual, or ask
on Stackoverflow and comp.lang.prolog for more information.
Prolog is an interesting programming language: It has a pure monotonic core, and it also has features that are called impure. You, the programmer, must decide in which subset of the language you want to program.
In a sense, programming in Prolog is like writing a poem: You can achieve great effects by writing under stringent constraints. In Prolog, you often get the best results by restricting your work to the pure core of the language. As long as you do this, you can benefit from strong logical properties which let you reason about your programs in systematic ways that are not available in most other programming languages.
In the past decades, many pure features have become widely available in Prolog systems. This book explains many of these new features, and shows you how you can use them to achieve general and efficient Prolog programs.
Le message dur: Restez purs!