PROLOG (Lógica de Programação ) é uma linguagem de programação de computadores declarativa frequentemente usado em aplicações (AI) de programação de inteligência artificial. A linguagem declarativa é uma linguagem de programação que determina o que deve ser feito , como resultado de critérios específicos , em vez de como algo deve ser feito. Origens

PROLOG foi criado entre 1971 e 1973 por Philippe Roussel e Alain Colmerauer como linguagem de desenvolvimento prático baseado na idéia de raciocínio dedutivo automatizado. A linguagem permitiu fórmulas para ser interpretada de tal forma que uma conclusão lógica poderia ser alcançado. PROLOG foi originalmente conceituada como uma maneira de automatizar o processamento de linguagem natural , mas logo foi posto em prática para o desenvolvimento de uma aplicação mais geral. Foi usado pela primeira vez para tomar decisões dedutivas com base na entrada em francês escrito .
Implementação

Em 1983, David H. Warren criou uma arquitetura de máquina chamada de " máquina abstrata , " o que poderia guiar aplicações do Prolog. Chamado de " Warren Abstract Machine" ( WAM ) , tornou-se o método de implementação padrão para PROLOG .
Influência

PROLOG teve uma série de efeitos sobre no campo da ciência da computação. Como a programação langauge baseada em lógica original, que tem permitido adições para bancos de dados relacionais para criar uma nova forma de banco de dados a que se refere às bases de dados como dedutive . A partir da década de 1980 , influenciou a formação de sistemas inteligentes de computação , lógica de programação , programação de restrição lógica indutiva e aprendizagem de máquina.