PROLOG

A LINGUAGEM PROLOG

A linguagem PROLOG é uma linguagem de programação declarativa para processamento simbólico. Ela é uma linguagem de programação que se enquadra na programação em lógica matemática e está associada à inteligência artificial e à linguística computacional. Sendo uma linguagem puramente lógica e concreta, considera seus componentes extra-lógicos.
Esse nome surgiu da abreviação PROgrammation em LOGique, por volta de 1972 por Alain Colmerauer e Philippe Roussel baseados no conceito de interpretação procedimental das cláusulas de Horn que, na lógica, é uma cláusula com, no máximo, um literal positivo. Surgiu a partir da vontade de usar a lógica como linguagem declarativa de representação e uni-la à representação procedimental, a popular da época de 1960.
O Prolog é uma linguagem diferente, mas de uma simplicidade marcante. Essa diferença decorre do fato de o Prolog ser uma linguagem funcional, e não uma linguagem procedural.
A linguagem de programação Prolog nasceu de um projeto que não tinha por foco a implementação de uma linguagem de programação, mas o processamento de linguagens naturais, então resultou em uma versão preliminar da linguagem Prolog em fins de 1971 sendo que a versão definitiva apareceu em fins de 1972.
O desenvolvimento do Kernel Language, realizado para o primeiro sistema operacional do PROLOG, foi um marco do desenvolvimento moderno da linguagem e veio dos projetos de computadores de quinta geração.
Atualmente, o Prolog é utilizado em diversas aplicações na área de computação simbólica, incluindo-se aí: bases de dados relacionais, sistemas especialistas, lógica matemática, prova automática de teoremas, resolução de problemas abstratos e geração de planos, processamento de linguagem natural, projeto de arquiteturas, logística, resolução de equações simbólicas, construção de compiladores, análise bioquímica e projeto de fármacos.

CONCEITOS BÁSICOS A programação em Prolog consiste em:
• Identificar os objetos em um