Paradigma Lógico.

Apresentação em tema: "Paradigma Lógico."— Transcrição da apresentação:

1 Paradigma Lógico

2 Roteiro Paradigma Declarativo – Lógico (Felipe Marques)
Cálculo de Predicados (Ivan) Prolog (Carlos Henrique) Estruturas do Prolog (Kaique)

3 Paradigma Declarativo – Lógico
Definições: Paradigma Declarativo: Foca na solução e não no problema propriamente dito. Paradigma Declarativo (Lógico): Pergunta chave: “Qual é o problema?” Descobrir um algoritmo geral para solucionar problemas Obstaculo: encontrar um algoritmo geral que resolva determinado tipo de problema.

4 Paradigma Declarativo – Lógico
Desvantagens. Variáveis de programa sem tipo Vantagens. Alto nível de abstração Eliminação de efeitos colaterais em calculos de função Pode ser utilizado para execuções paralelas

5 Exemplo:

6 Cálculo de Predicados Predicado; Preposição; Cálculo;
Exemplos de Predicados: P(x) : “(x) é estudante de computação”; P(x,y) : “(x) é estudante de (y)”.

7 Exemplo de Proposição: P: “Cristina é estudante de computação”;
Cálculo de Predicados Exemplo de Proposição: P: “Cristina é estudante de computação”;

8 PROLOG LP usada para solucionar problemas que envolvem objetos e suas relações Declaração; Definição; Resposta.

9 PROLOG Estabelecer Relações; Usado em: Bioquímica;
Inteligência Artificial; Automação de Projetos.

10 Estruturas do PROLOG Termos (variáveis) X, _4, altura, Quem. Fatos
amiga(joana,maria). amiga(clara,maria). Questões ?- amiga(joana,Quem) , amiga(clara,Quem).

11 Banco de dados (meta-dados)
Exemplo: Banco de dados (meta-dados) Regra amiga(joana,maria). amiga_intima(Ela1,Ela2) :- amiga(Ela1,Ela2), amiga(Ela2,Ela1), ama(Ela1,Ela2), ama(Ela2,Ela1). amiga(maria,joana). amiga(maria,clara). amiga(clara,maria). ama(joana,maria). ama(maria,joana). Pergunta ?- amiga_intima(maria, clara).

12 Referências Bibliográficas:
SEBESTA, Robert W.. Conceitos de linguagens de programação. 5. ed. Bookman, 2003.