Programmation en logique: méthodologie et enseignement.