Un format fédérateur pour l'évaluation de spécifications formelles en programmation logique avec contraintes.