Vérification Symbolique et Programmation Logique avec Contraintes: les Raisons d'un Mariage.