A apresentação está carregando. Por favor, espere

A apresentação está carregando. Por favor, espere

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

Apresentações semelhantes


Apresentação em tema: "Paradigma Lógico. Roteiro Paradigma Declarativo – Lógico (Felipe Marques) Cálculo de Predicados (Ivan) Prolog (Carlos Henrique) Estruturas do Prolog (Kaique)"— 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 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 Paradigma Declarativo – Lógico

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 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 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.


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

Apresentações semelhantes


Anúncios Google