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

• 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