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
Version en cache
23/12/2024 17:47:29 Cette version de la page est en cache (à la date du 23/12/2024 17:47:29) afin d'accélérer le traitement. Vous pouvez activer le mode utilisateur dans le menu en haut pour afficher la dernère version de la page.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.
