Une approche de résolution de problèmes en logique basée sur des techniques de satisfaction de contraintes.