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 connaît 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é.