Prolog foi projetada por Colmerauer na Universidade de Marseille e implementada inicialmente em ALGOL-W. Versões posteriores foram desenvolvidas em FORTRAN e linguagem de máquina. Prolog ganhou popularidade com o lançamento de uma versão para DEC-10 que incluiu o primeiro compilador Prolog escrito em Prolog. Prolog é uma linguagem declarativa baseada em lógica simbólica que permite representar objetos e relacionamentos.

1. PROLOG
s Histórico
• Esta Linguagem foi projetada e implementada por
Colmerauer
e seu grupo de IA , na Universidade de Marseille, onde foi escrito
o primeiro interpretador Prolog na linguagem ALGOL-W.
• Méloni em 1973, implementou uma nova versão escrita em
FORTRAN.
• Roberts em 1977 implementou na Universidade de
Waterloo
uma versão totalmente escrita em linguagem de máquina.

2. PROLOG
Mas a linguagem Prolog só passou a atrair
um amplo interesse a nível mundial, quando foi
lançada a versão DEC-10 que inclui o primeiro
compilador Prolog escrito em Prolog.
Após o lançamento desta nova versão, foi anunciado
no Japão
o projeto do super computador de quinta geração.

3. PROLOG
s O que é PROLOG ?
s Algumas Definições.
s PROLOG é uma linguagem declarativa,
que permite a representação dos dados
em lógica simbólica
s PROLOG é uma linguagem interativa
que permite resolver problemas que
envolvem representação simbólica de
objetos e seus relacionamentos

4. PROLOG
s O que Relação, Classificação e Seriação ?
s O que é Programação em Lógica ?

5. PROLOG
likes(ralph,prolog)
likes(reader,prolog) if explains(ralph,prolog)
explains(ralph,prolog)
s Significam:
Ralph gosta de prolog;
O leitor gostará de prolog se Ralph explicar
Prolog;
Ralph explica Prolog

6. PROLOG
s Estrutura de um programa PROLOG
domains
prolog,person=symbol
predicates
likes(person,prolog)
explains(person,prolog)
clauses
likes(ralph,prolog).
likes(reader,prolog) if explains (ralph,prolog).
explains(ralph,prolog)

7. PROLOG
s Utilização
s Sistemas Especialistas
s Linguagem Natural
s Engenharia de Software
s BD Relacionais
s Manipulação de fórmulas matemáticas
s Prova automática de teoremas
s Robótica...

8. PROLOG
s Principais características
s Orientada para processamento simbólico
s Representa uma implementação da lógica
como linguagem de programação
s Apresenta semântica declarativa inerente a
lógica
s Permite obtenção de respostas alternativas
s Permite recuperação dedutiva de informação

9. PROLOG
s Suporta estrutura de dados que permite
simular registros ou listas
s representa programas e dados através
do mesmo formalismo
s Incorpora facilidades computacionais
extra e metalógicas

10. PROLOG
s Limitações
s Existência de diferentes implementações
s Dificuldade de integrar com outras
linguagens
s Dificuldades de depuração