prolog
Transferir como PPT, PDF0 gostou800 visualizações
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.
prolog
- 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