الملخص:
Cet ouvrage se propose d’apporter a l’étudiant en logique mathématique un support de cours et un recueil d’exercices qui lui permettront d’acquérir les bases du raisonnement logique en termes de représentation de la connaissance et en termes d’inférence en logique .Ensuite ,il sera accompagné pour faire le passage depuis la logique des prédicats au paradigme de la programmation logiques des prédicats au paradigme de la programmation logique .
Enfin, d’un point de vue pratique, le lecteur devrait pouvoir programmer en Prolog qui est un langage de programmation issu de ce paradigme est se rendre compte de la richesse de ce mode de programmations qui est une alternative a la programmation procédurale.
