Below you will find pages that utilize the taxonomy term “Prolog”
February 25, 2026
Prolog: between logic and programming language
- 1. Introduction
- 2. Hands on the keyboard
- 3. Example
- 4. The appeal of Prolog
- 5. Let’s play with logic
- 6. Observations on the two languages
1. Introduction
Created in the 1970s for natural language processing and artificial intelligence, Prolog (short for “Programmation en Logique”) is a somewhat unusual programming language.
Prolog’s “logic” focuses on defining relationships and facts rather than sequential instructions.
The language is based on three fundamental pillars: