Langages de l'informatique

Machine p. 68 - Licence virtuelledes droits d’usage en page 2.
Le Paradigme Logique
Langages de l’informatique
Patrick Bellot
Introduction
Les langages
Les paradigmes
Modèle impératif abstrait
Boehm et Jacopini
Programmation impérative
Programmation fonctionnelle
Programmation en logique
Gestion de la mémoire
Quatre types de mémoire
Gérer sa mémoire
Comptage de référence
Syntaxe et sémantique
Sémantiques
Analyse lexicale
Analyse syntaxique
Compilation
Interprétation
Née à Marseille dans les années 70, la programmation
en logique permet d’utiliser une catégorie restreinte de
formules logiques pour programmer : les clauses
de Horn.
Clause de Horn
Si q 1 (x,...) et ··· et q n (x,...) alors p(x,...)
q 1 (x,...)∧···∧q n (x,...) ⇒ p(x,...)
p(x,...) si q 1 (x,...) et ··· et q n (x,...)
p(x,...) ⇐ q 1 (x,...)∧···∧q n (x,...)
Clause Prolog
p(x,...) :- q1(x,...), ... , qn(x,...).
N.B. Colmerauer 1973 et Kowalski 1974.