Alain Colmerauer

Alain Colmerauer, né en 1941, est l’initiateur du langage de programmation Prolog[1].

Diplômé de l'Ensimag, il passe à Grenoble une thèse d'état sur l'analyse syntaxique des langages de programmation.

Il séjourne ensuite à Montréal, où il travaille sur la traduction automatique de l’Anglais vers le Français. Il invente à ce propos les systèmes-Q, un pas vers la création de Prolog.

Devenu professeur à l'université d'Aix-Marseille II, il développe le langage Prolog avec son collègue Philippe Roussel. Il poursuit ses travaux en traitement informatique de la langue, avec notamment les grammaires de métamorphose.

Il crée ensuite Prolog III puis, s’intéressant de plus en plus à la programmation par contraintes, Prolog IV.

Il étudie ensuite des questions plus théoriques concernant la quantification de la logique du premier ordre.

Notes et références

  1. (en) J. Cohen, « A view of the origins and development of Prolog », dans Communications of the ACM, New York, Association for Computing Machinery, vol. 31, no 1, 1988, p. 26-36 (ISSN 0001-0782) [texte intégral (page consultée le 6 janvier 2010)] 

Voir aussi

Liens externes

Pour tout ce qui le concerne voir http://alain.colmerauer.free.fr/.


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Alain Colmerauer de Wikipédia en français (auteurs)

Regardez d'autres dictionnaires:

  • Alain Colmerauer — Alain Marie Albert Colmerauer (* 24. Januar 1941 in Carcassonne) ist ein französischer Informatiker. Er gilt als einer der Erfinder der logischen Programmiersprache Prolog und des Q Systems, eines der ersten linguistischen Werkzeuge während der… …   Deutsch Wikipedia

  • Alain Colmerauer — (born 24 January 1941) is a French computer scientist. He is the creator of the logic programming language Prolog and Q Systems, one of the earliest linguistic formalisms used in the development of the TAUM METEO machine translation prototype. He …   Wikipedia

  • Colmerauer — Alain Marie Albert Colmerauer (* 24. Januar 1941 in Carcassonne) ist ein französischer Informatiker. Er gilt als einer der Erfinder der logischen Programmiersprache Prolog und des Q Systems, eines der ersten linguistischen Werkzeuge während der… …   Deutsch Wikipedia

  • Colmerauer —  Cette page d’homonymie répertorie des personnes (réelles ou fictives) partageant un même patronyme. Colmerauer est un nom de famille notamment porté par : Alain Colmerauer (1941 ), informaticien français ; Anne Colmerauer (1966 ) …   Wikipédia en Français

  • Logic programming — is, in its broadest sense, the use of mathematical logic for computer programming. In this view of logic programming, which can be traced at least as far back as John McCarthy s [1958] advice taker proposal, logic is used as a purely declarative… …   Wikipedia

  • Prolog — infobox programming language paradigm = Logic programming year = 1972 designer = Alain Colmerauer implementations = BProlog, ECLiPSe, Ciao Prolog, GNU Prolog, Quintus, SICStus, Strawberry, SWI Prolog, YAP Prolog, tuProlog dialects = ISO Prolog,… …   Wikipedia

  • PROLOG — Paradigmen: logisch, deklarativ, oft auch constraintbasiert Erscheinungsjahr: 1972 Designer: Alain Colmerauer Entwickler: Philippe Roussell …   Deutsch Wikipedia

  • Prolog — Pour les articles homonymes, voir Prolog (homonymie). Prolog Apparu en 1972 Auteur …   Wikipédia en Français

  • Prolog — El Prolog (o PROLOG), proveniente del francés PROgrammation en LOGique,[1] es un lenguaje de programación lógico e interpretado, bastante conocido en el medio de investigación en Inteligencia Artificial. Contenido 1 Historia 2 Vue …   Wikipedia Español

  • Philippe Roussel — Saltar a navegación, búsqueda Philippe Roussel (13 de mayo de 1945) es Doctor en Informática, y creador junto con Alain Colmerauer y Robert Kowalski del lenguaje de programación Prolog. Además de poner en práctica numerosos sistemas basados en… …   Wikipedia Español

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”