Programmer les contraintes

Comment un programme informatique peut-il nous aider à faire un choix lorsque les possibilités sont trop nombreuses pour être toutes prises en compte ? C'est l'objet de la programmation par contrainte, issue du langage Prolog inventé par Alain Colmerauer en médaillon. Elle permet aussi bien de choisir un modèle de voiture que de résoudre des sudokus.