Procédure exacte d'optimisation dans le paradigme de la programmation logique avec contraintes ensemblistes