Prolog : programmation par l'exemple : exemples et exercices corrigés

Prolog

Programmation par l'exemple

Prolog, le chaînage-arrière - Le traitement des listes - La coupure - Problèmes avec contraintes - Les expressions structurées - Applications graphiques - Un Prolog écrit en Lisp - Applications en Intelligence Artificielle - Outils actuels en lien avec Prolog.

Prolog est un langage de programmation déclaratif qui a vu jour en France. Cependant depuis plus de vingt-cinq ans, très peu de publications ont été faites à son sujet alors que celui-ci connait un succès en développement de logiciel.

Cet ouvrage a pour but de redonner un peu d'actualité à cet aspect très différent de la programmation classique en présentant de nombreux exemples résolus au travers d'applications diverses, de la linguistique à l'évolution artificielle en passant par l'arithmétique formelle ou les jeux logiques.

Par son originalité, Prolog est extrêmement enrichissant et formateur pour tous les informaticiens étudiants ou en activité.