Prolog

http://www.linhadecodigo.com.br/artigo/1697/descobrindo-o-prolog.aspx

Descobrindo o Prolog
1. Informações Gerais

O Prolog foi criado em 1972, na Universidade de Marseille, França. Desde então tem sido utilizada para aplicações de computação simbólica, como banco de dados relacionais, compreensão de linguagens naturais (português, inglês, etc.), automação de projetos, análise de estruturas bioquímicas e sistemas especialistas. Como podemos ver, o Prolog se tornou uma referência quando se trata de linguagem de programação voltada para inteligência artificial e lingüística computacional.

2. 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. Como podemos ver, o Prolog é mais direcionado ao conhecimento do que aos próprios algoritmos.

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 deverá atingir o seu objetivo.

Um programa em Prolog pode rodar em um modo interativo, o usuário poderá formular queries utilizando os fatos e as regras para produzir a solução através do mecanismo de unificação.

3. Conceitos Básicos

Os tipos de dados comumente existentes em outras linguagens, não são em empregados ao Prolog. Todos os dados são tratados como sendo de um único tipo, conhecido como termo, que pode ser uma constante, uma variável ou um termo composto. Em seguida conheceremos os principais elementos da linguagem para que possamos fazer pequenos exemplos em Prolog.

3.1 Fatos

Como