Alain Colmerauer

Pays :France
Langue :français
Note :
Écrit aussi en anglais
Informaticien. - En poste au Groupe Intelligence artificielle, CNRS URA 816, Faculté des sciences de Luminy, Marseille, Bouches-du-Rhône (en 1993)
ISNI :ISNI 0000 0000 8115 6808

Ses activités

Éditeur scientifique1 document

  • Constraint logic programming

    selected research

    Description matérielle : XIV-486 p.
    Description : Note : Notes bibliogr.
    Édition : Cambridge (Mass.) ; London (GB) : MIT press , cop. 1993
    Éditeur scientifique : Frédéric Benhamou

    [catalogue][https://catalogue.bnf.fr/ark:/12148/cb37423268b]

Pages dans data.bnf.fr

Auteurs reliés

Cette page dans l'atelier

Sources et références

Voir dans le catalogue général de la BnF

Sources de la notice

  • Constraint logic programming : selected research / ed. by Frédéric Benhamou and Alain Colmerauer, 1993

Biographie Wikipedia

  • Alain Colmerauer, né en 1941, est l’initiateur du langage de programmation Prolog.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é de la Méditerranée 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.

Pages équivalentes