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 Entwicklung des TAUM-METEO Prototypen. Er arbeitet als Professor an der Universität Aix-Marseille.

Inhaltsverzeichnis

Leben und Werk

Colmerauer studierte ab 1963 an der École nationale supérieure d'informatique et de mathématiques appliquées de Grenoble (ENSIMAG). 1967 wurde er Doktor der Informatik durch seine Dissertation Precedences, analyse syntaxique et langages de programmation. Von 1967 bis 1970 weilte er in Kanada, wo er als Assistenzprofessor an der Universität Montreal tätig war. Im Jahr 1972 implementierte die Forschungsgruppe Groupe d'Intelligence Artificielle de Luminy in Marseille unter der Leitung von Colmerauer erstmals die Programmiersprache Prolog.

Preise und Auszeichnungen

1986 wurde er zum Ritter der Ehrenlegion geschlagen. 1987 wurde er korrespondierendes Mitglied der Academie des Sciences.

Familie

Alain Colmerauer ist verheiratet und hat drei Kinder.

Literatur

  • Frederic Benhamou, Alain Colmerauer: Constraint Logic programming, Selected Research. MIT Press, 1993

Weblinks


Wikimedia Foundation.

Schlagen Sie auch in anderen Wörterbüchern nach:

  • 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… …   Wikipédia en Français

  • 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”