L'enseignement de la programmation logique à l'École des Mines de Nantes

La programmation logique est enseignee a l'Ecole des Mines de Nantes depuis 1994. Apres une augmentation du volume horaire en 1998 (de 15 a 30 heures), le contenu du cours a evolue pour proposer un cheminement plus complet depuis la logique formelle jusqu'a la programmation en logique. Ce document presente l'organisation du cours tel qu'il est dispense actuellement.