Le cours décrit les principes de la programmation logique et plus précisément le langage Prolog