Sommaire - Programmation déclarative

Logo du chapitre Programmation déclarativeLes 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

Programmation déclarative
https://www.gaudry.be > Programmation > Programmation déclarative
[1] 11/04/2010 - Dernière modification le 28/10/2018

Sémantique opérationnelle
https://www.gaudry.be > Programmation > Programmation déclarative
[2] 15/06/2010 - Dernière modification le 28/10/2018

Substitutions
https://www.gaudry.be > Programmation > Programmation déclarative
[3] 10/07/2010 - Dernière modification le 28/10/2018 Les substitutions dans les calculs des prédicats

Unifications
https://www.gaudry.be > Programmation > Programmation déclarative
[4] 10/07/2010 - Dernière modification le 28/10/2018 Les unifications en calcul des prédicats

Unification de Herbrand
https://www.gaudry.be > Programmation > Programmation déclarative
[5] 15/06/2010 - Dernière modification le 28/10/2018 Algorithme d'unification de Herbrand en programmation déclarative.

Programmation logique
https://www.gaudry.be > Programmation > Programmation déclarative
[6] 11/04/2010 - Dernière modification le 28/10/2018

Document créé le 19/03/2002, dernière modification le 10/04/2021
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.