Vers une méthodologie de programmation en logique: A propos d'une classe de problèmes.