Alain Colmerauer

Origem: Wikipédia, a enciclopédia livre.
Ir para: navegação, pesquisa
NoFonti.svg
Este artigo ou se(c)ção cita uma ou mais fontes fiáveis e independentes, mas ela(s) não cobre(m) todo o texto (desde Setembro de 2012).
Por favor, melhore este artigo providenciando mais fontes fiáveis e independentes e inserindo-as em notas de rodapé ou no corpo do texto, conforme o livro de estilo.
Encontre fontes: Googlenotícias, livros, acadêmicoYahoo!Bing. Veja como referenciar e citar as fontes.

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.