Paradigma Lógico
Roteiro Paradigma Declarativo – Lógico (Felipe Marques) Cálculo de Predicados (Ivan) Prolog (Carlos Henrique) Estruturas do Prolog (Kaique)
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.
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
Exemplo:
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)”.
Exemplo de Proposição: P: “Cristina é estudante de computação”; Cálculo de Predicados Exemplo de Proposição: P: “Cristina é estudante de computação”;
PROLOG LP usada para solucionar problemas que envolvem objetos e suas relações Declaração; Definição; Resposta.
PROLOG Estabelecer Relações; Usado em: Bioquímica; Inteligência Artificial; Automação de Projetos.
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).
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).
Referências Bibliográficas: SEBESTA, Robert W.. Conceitos de linguagens de programação. 5. ed. Bookman, 2003.