Alain Colmerauer

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

Ligações externas

• Página pessoal