Alain Colmerauer

Alain Marie Albert Colmerauer (narozený 24. ledna 1941 v Carcassonne , Occitania , † 12. května 2017 v Marseille , Provence-Alpes-Côte d'Azur ) byl francouzský počítačový vědec . Je považován za jednoho z vynálezců logického programovacího jazyka Prolog a Q-System, jednoho z prvních jazykových nástrojů během vývoje prototypu TAUM-METEO. Působil jako profesor na univerzitě v Aix-Marseille .

Život

Alain Colmerauer studoval od roku 1963 na École nationale supérieure d'informatique et de mathématiques appliquées de Grenoble (ENSIMAG) . V roce 1967 získal za disertační práci Précédence, Analyse Syntaxique et Langages de Programmation doktorát z informatiky . V letech 1967 až 1970 pobýval v Kanadě, kde působil jako odborný asistent na univerzitě v Montrealu . V roce 1972 výzkumná skupina Groupe d'Intelligence Artificielle de Luminy v Marseille pod vedením Colmerauera poprvé implementovala programovací jazyk Prolog .

Alain Colmerauer byl ženatý a měl tři děti.

Ceny a ocenění

V roce 1986 byl jmenován rytířem Čestné legie . V roce 1987 se stal příslušným členem Académie des Sciences .

literatura

  • Frederic Benhamou, Alain Colmerauer: Programování logiky omezení, vybraný výzkum. MIT Press, 1993

webové odkazy

Individuální důkazy

  1. ^ Alain Colmerauer, premiérové ​​promo Ensimag 1963. In: grenoble-inp.fr. Ensimag, 17. května 2017, přístup dne 28. května 2017 (francouzsky).