Summary of Declarative programming

The principles of declarative programming, especially logic programming with Prolog, to see that there is something else than imperative programming...

You can consult the complete information on chapter Declarative programming.

Pages of chapter Declarative programming

Page n° 1 : Programmation déclarative


Date de création: 11/04/2010
https://www.gaudry.be/en/programmation-declarative.html

Contents Haut

Page n° 2 : Sémantique opérationnelle


Date de création: 15/06/2010
https://www.gaudry.be/en/programmation-declarative-operationnelle.html

Contents Haut

Page n° 3 : Substitutions

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

Contents Haut

Page n° 4 : Unifications

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

Contents Haut

Page n° 5 : Unification de Herbrand

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

Contents Haut

Page n° 6 : Programmation logique


Date de création: 11/04/2010
https://www.gaudry.be/en/programmation-logique.html

Contents Haut

Contents Haut

English translation

You have asked to visit this site in English. For now, only the interface is translated, but not all the content yet.

If you want to help me in translations, your contribution is welcome. All you need to do is register on the site, and send me a message asking me to add you to the group of translators, which will give you the opportunity to translate the pages you want. A link at the bottom of each translated page indicates that you are the translator, and has a link to your profile.

Thank you in advance.

Document created the 19/03/2002, last modified the 31/10/2018
Source of the printed document:https://www.gaudry.be/en/programmation/programmation-declarative/sommaire-chapitre.html

The infobrol is a personal site whose content is my sole responsibility. The text is available under CreativeCommons license (BY-NC-SA). More info on the terms of use and the author.