Sommaire - Programmation déclarative

Les principes de la programmation déclarative, et plus spécialement de la programmation logique avec Prolog, pour entrevoir qu'il existe autre chose que la programmation impérative...

Vous pouvez consulter les informations complètes sur le chapitre Programmation déclarative.

Pages du chapitre Programmation déclarative

Page n° 1 : Programmation déclarative


Date de création: 11/04/10 04:52
https://www.gaudry.be/programmation-declarative.html
Haut

Page n° 2 : Sémantique opérationnelle


Date de création: 15/06/10 04:54
https://www.gaudry.be/programmation-declarative-operationnelle.html
Haut

Page n° 3 : Substitutions

Les substitutions dans les calculs des prédicats
Date de création: 10/07/10 02:34
https://www.gaudry.be/calcul-predicats-substitution.html
Haut

Page n° 4 : Unifications

Les unifications en calcul des prédicats
Date de création: 10/07/10 02:34
https://www.gaudry.be/calcul-predicats-unification.html
Haut

Page n° 5 : Unification de Herbrand

Algorithme d'unification de Herbrand en programmation déclarative.
Date de création: 15/06/10 03:00
https://www.gaudry.be/programmation-declarative-unification-herbrand.html
Haut

Page n° 6 : Programmation logique


Date de création: 11/04/10 05:53
https://www.gaudry.be/programmation-logique.html
Haut

 

Document créé le 19/03/02 21:42, dernière modification le 19/09/18 10:49
Source du document imprimé : https://www.gaudry.be/programmation/programmation-declarative/sommaire-chapitre.html

L'infobrol est un site personnel dont le contenu n'engage que moi. Le texte est mis à disposition sous licence CreativeCommons(BY-NC-SA). Plus d'info sur les conditions d'utilisation et sur l'auteur.