Alain Colmerauer

Origem: Wikipédia, a enciclopédia livre.
Ir para: navegação, pesquisa
NoFonti.svg
Este artigo ou se(c)ção cita fontes confiáveis e independentes, mas que não cobrem todo o conteúdo (desde Setembro de 2012). Por favor, adicione mais referências e insira-as corretamente no texto ou no rodapé. Material sem fontes poderá ser removido.
Encontre fontes: Google (notícias, livros e acadêmico)

Alain Colmerauer (24 de janeiro de 1941, Carcassonne) é um cientista da computação francês, que contribuiu para a criação da linguagem de programação Prolog.[carece de fontes?]

No início da década de 1970, Kowalski[quem?] desenvolveu uma interpretação procedural de cláusulas de Horn, 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.[1]

Referências

  1. 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.