Programmation dans Prolog

Publiée à l'origine en 1981, ce livre était le premier manuel sur la programmation en langage Prolog et reste le texte d'introduction de référence à Prolog. Bien que de nombreux manuels Prolog aient été publiés depuis, celui-ci s'est distingué par sa présentation exhaustive, son approche didactique et son accent sur les applications générales de la programmation. Prolog continue de susciter un grand intérêt au sein de la communauté informatique et s'est avéré être la base d'une nouvelle génération importante de langages de programmation et de systèmes d'intelligence artificielle. Depuis la précédente édition de "Programming in Prolog", le langage a été standardisé par l'Organisation internationale de normalisation (ISO), et ce livre a été mis à jour en conséquence. Les auteurs ont également introduit de nouveaux matériaux, précisé certaines explications, corrigé un certain nombre de petites erreurs et éliminé les répétitions.