PROGRAMMATION PAR CONTRAINTES

PROGRAMMATION

  • Écrit par 
  • Jean-François MONIN
  •  • 7 832 mots

Dans le chapitre « De la programmation en logique à la programmation par contraintes »  : […] Une autre manière d'aborder la programmation, introduite au début des années 1970 par Alain Colmerauer (né en 1941) et Robert Anthony Kowalski (né en 1941), consiste à considérer certaines formules logiques comme des programmes. Cette idée, issue de recherches en démonstration automatique, avait une certaine efficacité dans les situations se décrivant sous forme d'une conjonction de clauses de Hor […] Lire la suite☛ http://www.universalis.fr/encyclopedie/programmation/#i_48977