Prolog - Programmation par l'exemple - Exemples et exercices corrigés

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é.