Initiation à Prolog en classe de terminale — Institut de recherche sur l'enseignement des mathématiques. Rouen