Alain Colmerauer

Origem: Wikipédia, a enciclopédia livre.
Ir para: navegação, pesquisa
Gnome globe current event.svg
Este artigo é sobre uma pessoa que morreu recentemente.
Algumas informações relativas às circunstâncias da morte podem mudar a qualquer instante.

Editado pela última vez em 19 de maio de 2017.

Alain Colmerauer (Carcassonne, 24 de janeiro de 1941  – Marselha, 13 de maio de 2017[1]) foi um cientista da computação francês, que contribuiu para a criação da linguagem de programação Prolog.[2]

No início da década de 1970, o cientista da computação Robert Kowalski desenvolveu uma interpretação procedural de cláusulas de Horn,[3]e mostrou que o axioma A ocorre se B ocorre podia ser lido como um procedimento em uma linguagem de programação recursiva, em que A é a cabeça da cláusula e B o seu corpo. Ao mesmo tempo, Colmerauer e seu grupo da Universidade de Aix-Marseille II desenvolveu um sistema especializado para demonstração de teoremas, que foi usado para instalar sistemas de processamento de linguagem natural. Este demonstrador de teoremas foi chamado de PROLOG (do francês, Programation et Logique) e incorporava a interpretação procedural de Kowalski.[4]

Referências

  1. «Alain Colmerauer, première promo Ensimag 1963» (em francês). 17 de maio de 2017. Consultado em 18 de maio de 2017 
  2. «In Memoriam: Alain Colmerauer – Association for Logic Programming» (em inglês). cs.nmsu.edu. Consultado em 18 de maio de 2017 
  3. van Emden, M. H.; Kowalski, R. A (1976). «The semantics of predicate logic as a programming language» (PDF). Journal of the ACM. 23 (4): 733–742. doi:10.1145/321978.321991 
  4. Ramon Barták, Guide to Prolog Programming (1998), Introduction [em linha]

Ligações externas[editar | editar código-fonte]

Ícone de esboço Este artigo sobre uma pessoa é um esboço. Você pode ajudar a Wikipédia expandindo-o.