Chercheur depuis 1963, Alain Colmerauer a consacré une grande partie de son énergie sur l'évolution du langage de programmation par contrainte Prolog, né au début des années 1970. Ce langage de programmation réservé aux scientifiques sert notamment à la conception de programmes d'intelligence artificielle ainsi qu'au dialogue homme-machine en langage naturel.
Le langage Prolog est d'ailleurs issu de Q-Systems, un autre langage mis au point par M. Colmerauer mais davantage tourné vers les problèmes de traduction anglais-français et la programmation en langage naturel. Depuis 1972, Prolog a franchi 3 étapes et la version 4 du langage le destine plus particulièrement à la résolution d'équations mathématiques.
Membre de l'académie des sciences, Alain Colmerauer enseigne à l'Université de la Méditerranée.
|
Alain Colmerauer
Langage Prolog
Année
de
naissance
:
1941
Spécialité
:
programmation par contrainte
|