Linguagem Prolog e Lua

PESQUISA DE LINGUAGENS DE PROGRAMAÇÃO
LINGUAGENS PESQUISADAS: PROLOG E LUA

PROLOG Conceitos e Linguagens de Programação
O que é Prolog?
Prolog é uma linguagem de programação que se enquadra no paradigma de Programação em Lógica Matemática. É uma linguagem de uso geral que é especialmente associada com a inteligência artificial e linguística computacional. Linguagem concreta, em que acrescenta-se o Prolog puro com componentes extra-lógicos. Apesar do longo tempo de desenvolvimento, essa linguagem ainda não é uma linguagem portável já que em cada implementação usa rotinas completamentes diferentes e incompatíveis entre si. Exemplo de programa trivial ao realizar um loop, o interpretador não consegue rodar.
Historia
O PROLOG foi criado entre 1971 e 1973 por Philippe Roussel e Alain Colmerauer como uma linguagem de desenvolvimento prático baseada na ideia de raciocínio automático dedutivo. Ela possibilitou a interpretação de fórmulas através de um modo em que uma conclusão lógica pudesse ser alcançada. Originalmente, ela foi pensada como uma forma de automatizar o processamento de linguagem natural, mas rapidamente alcançou usos em desenvolvimentos de aplicativos em geral também. Foi primeiramente utilizada para tomar decisões dedutivas, baseadas na inserção de palavras em Francês.
Características
O Prolog é uma linguagem declarativa, ou seja, ao invés de o programa estipular a maneira de chegar à solução passo-a-passo, como acontece nas linguagens procedimentais ou orientadas a objeto, ele fornece uma descrição do problema que se pretende computar utilizando uma coleção de fatos e regras (lógica) que indicam como deve ser resolvido o problema proposto. Além de ser uma linguagem declarativa, outro fato que o difere das outras linguagens é a questão de não possuir estruturas de controle (if- else, do-while, for, switch) presentes na maioria das linguagens de programação. Para isso utilizamos métodos lógicos para declarar como o programa