Alain Colmerauer
Alain Colmerauer
| Narození |
24. ledna 1941 Carcassonne |
|---|---|
| Smrt |
12. května 2017(v 76 letech) Marseille |
| Rodné jméno | Alain Marie Albert Colmerauer |
| Státní příslušnost | francouzština |
| Výcvik | Grenoble Polytechnic Institute |
| Činnosti | Počítačový vědec , inženýr , univerzitní profesor |
| Pracoval pro | University of Montreal , University of Aix-Marseille |
|---|---|
| Pole | Počítačová věda |
| Člen | Akademie věd |
| webová stránka | alain.colmerauer.free.fr |
| Rozdíl | Michel-Monpetitova cena (1985) |
| Prolog |
Alain Colmerauer je počítačový inženýr , lékař v oboru počítačových věd a francouzského univerzitního profesora narodil24. ledna 1941v Carcassonne a zemřel dne12. května 2017v Marseille .
Je iniciátorem programovacího jazyka Prolog .
Kariéra
Absolventka Ensimag , Alain Colmerauer hájí se státní práce v Grenoble na syntaktické analýzy programovacích jazyků.
Poté pracoval jako vědecký spolupracovník v Montrealu a pracoval na automatickém překladu zpráv o počasí z angličtiny do francouzštiny. V tomto ohledu vynalezl systémy Q, krok k vytvoření Prologu.
Poté, co se stal profesorem na středomořské univerzitě Aix-Marseille II , pokračoval ve své práci v oblasti počítačového zpracování jazyka, zejména gramatik metamorfózy . Od roku 1972 vyvinul jazyk Prolog se svým kolegou Philippe Rousselem , čímž vytvořil základ logického programování .
Do roku 1980 je to jeden z hlavních japonských konzultantů projektující pátou generaci počítačů , který by vedl k návrhu Concurrent Prolog od Ehuda Shapira .
Poté vytvořil Prolog III a začal se stále více zajímat o programování omezení , Prolog IV (1996) a logické programování v rámci omezení.
Poté studuje další teoretické otázky týkající se kvantifikace logiky prvního řádu.
Zemřel 12. května 2017v Marseille .
Ocenění
- Pomme d'Or pro francouzský software v roce 1982, cena udělená společností Apple France za implementaci Prolog II na Apple II , cena sdílená s Henrym Kanoui a Michelem Van Caneghemem.
- Cena regionální rady z Provence-Alpes-Côte d'Azur v roce 1984 .
- Cena Michela Monpetita z roku 1985, kterou uděluje Akademie věd.
-
Rytíř čestné legie v roce 1986. - Přidružený člen Americké asociace umělé inteligence 1991.
- Korespondent (pomocný redaktor) Akademie věd v sekci Matematika.
Publikace
- Alain Colmerauer, Henry Kanoui a Michel Van Caneghem, Prolog teoretické základy a současný vývoj , Techniques et Science Informatiques, sv. 2, n O 4, 1983.
- (en) Frédéric Benhamou, Alain Colmerauer, Constraint Logic programming, Selected Research. , MIT Press , 1993
Bibliografie
- Jacques Cohen: „ Pocta Alainovi Colmerauerovi “, TPLP , sv. 1, n O 6,2001, str. 637-646 ( číst online )
Poznámky a odkazy
- (in) J. Cohen , „ Pohled na vznik a vývoj Prologu “ , Komunikace ACM , New York, Association for Computing Machinery, sv. 31, n o 1,1988, str. 26-36 ( ISSN 0001-0782 , číst online ).
- F. Giannesini a kol., Prolog , Interéditions,1985, 318 s. ( ISBN 2729600760 ).
- s aplikací na kompilátor Algol 60 z CAE 510
- Počítač páté generace
- „Prolog je osiřelý“ , na binaire.blog.lemonde.fr , 18. května 2017.
externí odkazy
- Autoritní záznamy :
- Poznámky ve všeobecných slovnících nebo encyklopediích : Encyklopedie Britannica • Kdo je kdo ve Francii
- Oficiální stránka