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
Programmation déclarativehttps://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 16/07/2024
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.
