Ensuite coopérant scientifique à Montréal, il travaille sur la traduction automatique des bulletins météo de l’anglais vers le français. Il invente à ce propos les systèmes-Q, un pas vers la création de Prolog.
Il crée ensuite Prolog III puis, s’intéressant de plus en plus à la programmation par contraintes, Prolog IV (1996) et la programmation logique sous contraintes.
Il étudie ensuite des questions plus théoriques concernant la quantification de la logique du premier ordre.
Pomme d'Or du Logiciel français en 1982, prix décerné par Apple France pour l'implémentation de Prolog II sur un Apple II, prix partagé avec Henry Kanoui et Michel Van Caneghem.
Nommé Founder of Logic Programming par l'Association of Logic Programming en 1997[6].
Correspondant (rédacteur associé) de l'Académie des Sciences dans la section Mathématiques.
Publications
Alain Colmerauer, Henry Kanoui et Michel Van Caneghem, Prolog bases théoriques et développements actuels, Techniques et Science Informatiques, vol. 2, no 4, 1983.
Jacques Cohen:, « A Tribute to Alain Colmerauer », TPLP, vol. 1, no 6, , p. 637-646 (lire en ligne)
Notes et références
↑(en) J. Cohen, « A view of the origins and development of Prolog », Communications of the ACM, New York, Association for Computing Machinery, vol. 31, no 1, , p. 26-36 (ISSN0001-0782, lire en ligne).
↑F. Giannesini et al., Prolog, Interéditions, , 318 p. (ISBN2729600760).