Ce cours reprend les principaux aspects de la programmation logique en Prolog. Il est dispensé an L3 informatique.