Approche logique de l'intelligence artificielle Tome 1 : De la logique classique à la programmation logique 1

Le but de l'ouvrage est d'étudier les concepts et les méthodes de l'intelligence artificielle en prenant la logique comme ligne directrice. Le texte seveut aussi didactique et autonome que possible; il s'adresse à des lecteurs(étudiants ou chercheurs) ayant une bonne culture mathématique et informatique mais il n'exige pas de compétence particulière en logique nien intelligence artificielle.Langage Prolog utilisé.