Prolog: between logic and programming language
Table of Contents 1. Introduction 2. Hands on the keyboard 3. Example 4. The appeal of Prolog 5. Let's play with logic 5.1. Prolog version 5.2. Python version 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: Facts: Absolute truths about the world we are modeling. Rules: Conditional relationships that allow us to infer new information. Queries: Questions asked of the system to verify the truth of a statement or find solutions. In Prolog, there are no “for” loops or variables in the traditional sense. 2. Hands on the keyboard To test Prolog code on your computer it's possible to install SWI-Prolog, ...