Aula 02

Disciplina Optativa
Católica de Santa Catarina
Prof. Anderson José de Souza [e-mail] Disciplina Optativa
• Agenda
Sistemas Especialistas – Expert Sinta
Sistemas Especialistas - Trabalho
Prolog
Prolog
Prolog - Trabalho
Lisp
Lisp
Lisp - Trabalho
Prova Final - Teórica

Disciplina Optativa
• Prolog
Programmation en Logique
1970 – França (Alain Colmerauner)
Linguagem de programação declarativa de propósito geral, voltada para a IA e
Linguística Computacional.

Disciplina Optativa
• Prolog
Princípio da Resolução para a prova de teoremas, onde a solução de um problema é encontrada diretamente por um conjunto de “Axiomas” ou indiretamente através da “Inferência Lógica”.
1970 – França (Alain Colmerauner)

Disciplina Optativa
• Prolog
Prova de Teoremas segue o modelo de Busca em
Profundidade tendo um retorno atrás quando ocorre uma falha a qual fica denominada de backtracking. Suas variáveis podem residir num de dois estados que são: não instanciados ou instanciados.

Disciplina Optativa
• Prolog
Linguagem declarativa onde não se estrutura o passo a passo, mas sim um conjunto de fatos e regras que indicam como deve ser resolvido o problema proposto.

Disciplina Optativa
• Prolog
Não possui estruturas de controle if – else do – while for switch
Utiliza métodos lógicos para resolução de problemas.

Disciplina Optativa
• Prolog
Verdadeiro, Falso ou Desconhecido
Estados possíveis que chamamos de tri-valor.

Disciplina Optativa
Introdução
Consiste em definir um conjunto de verdades chamadas fatos e relações entre os fatos, chamadas regras.
Fatos e Regras são chamados predicados e o conjunto de predicados do programa é chamado domínio do problema.

Disciplina Optativa
Introdução
Um fato define uma afirmação, uma verdade; flor(cravo). << cravo é uma flor.>>

Disciplina Optativa
Introdução
A estrutura de um fato é formada por um predicado com seus argumentos (objetos) e finalizamos a instrução com um ponto(.) equivalente ao (;) das demais linguagens.