Prolog

PROLOG

1. Introdução
Prolog é uma linguagem de programação lógica e declarativa. O seu nome, Prolog, é a abreviação de "PROgramming in LOGic" (PROgramando em LÓgica). A herança do Prolog inclui a pesquisa on validadores de teorems e outros sistemas de dedução automatizados desenvolvidos nos anos 60 e 70.
Prolog é o maior exemplo de uma linguagem de programação de quarta geração suportanto o paradigama de programação declarativo.

2. Histórico
A linguagem Prolog teve sua concebida por Colmerauer e Roussel em 1972, sendo sua primeira versão feita em Fortran por Battani e Meloniem 1973.
Desde então tem sido utilizada para aplicações de computação simbólica, como banco de dados relacionais,compreensão de linguagem natural, automação de projetos,análise de estruturas bioquímicas e sistemas especialistas.

Nos anos 70. R.A.Kowaski fornece as bases teóricas do Prolog; Alain Comerauer e colegas fazem a primeira implementação do Prolog.
Nos anos 80. David Warren da Universidade de Edinburgh constrói o primeiro compilador; Torna-se popular com o Turbo-Prolog da Borland.

Alguns fatos sobre Prolog:
" O termo Prolog é derivado da expressão "Programming in Logic", uma vez que é baseado em Lógica de Predicados de 1a ordem.
" Foi criado em 1973, na Universidade de Marseille, França.
" Propósito da criação: criar programas para tradução de linguagem natural (= linguagens faladas, como português, inglês).
" Não é uma linguagem padronizada: padrão ANSI esta sendo formalizado. Enquanto isso, o livro de Clocksin e Mellish, "Programming in Prolog" (1984) é um padrão não oficial.
" Geralmente é interpretado, mas pode ser compilado.
" Escolhida para o projeto japonês da linguagem de 5a. Geração.

Prolog e Outras Linguagens
C, Pascal, Basic: são linguagens Procedimentais (ou imperativas) - especificam como deve ser feita alguma coisa. Codificam algoritmos.
C++, SmallTalk, Eiffel: são linguagens Orientadas a Objetos - especificam objetos e seus métodos.
Prolog: é