Programação lógica

  • Published on
    12-Jul-2015

  • View
    3.022

  • Download
    0

Embed Size (px)

Transcript

<ul><li><p>Programao Lgica </p><p>Por favor, no implora Porque homem no chora </p><p>Voc que machucou meu corao Me fez chorar </p><p> ... </p><p> Arrocha, Pablo </p><p>Blenda Guedes, Geraldo Gomes e Larissa Melo </p></li><li><p>Programao Lgica </p><p>Roteiro </p><p> O que ? Conceito de BD para PL Histria por rabiscos Quem e para qu? Prolog - what, up and running Hands On Dvidas </p><p>Blenda Guedes, Geraldo Gomes e Larissa Melo </p></li><li><p>Programao Lgica </p><p>O que ? Lgica matemtica para a </p><p>programao!! </p><p>PLANER </p><p>PROLOG </p><p>QLISP </p><p>SQL </p><p>QA-4 POPLER </p><p>CONNIVER </p><p>MERCURY </p><p>ETHER </p><p>LINGUAGENS DE PROGRAMAO LGICA </p><p> Descrevemos o problema e no a soluo! </p><p>Declaramos o que ns queremos!! </p><p>Minhas msicas usam programao </p><p>Lgica! Clusula de Horn; Lgica Proposicional; Lgica de Primeira Ordem. </p><p>Blenda Guedes, Geraldo Gomes e Larissa Melo </p></li><li><p>Programao Lgica </p><p>O que ? O QUE SE QUER </p><p>...encosta em meu nariz e faz Bilu bilu bilu bilu </p><p>O QUE SE FAZ </p><p>...Escute o meu desabafo Eu quero te falar </p><p>Na Programao lgica se diz o que se </p><p>quer! </p><p>O QUE deve ser feito! </p><p> COMO deve ser feito! </p><p>doendo(bemfeito). chorando(bemfeito). </p><p>?-doendo(X). X=bemfeito. ?-chorando(X). X=bemfeito. </p><p>trecho = raw_input('Primeira parte: ') trecho2 = raw_input('Segunda parte: ') Trecho_final = trecho + " " +trecho2 print Trecho_final </p><p>Blenda Guedes, Geraldo Gomes e Larissa Melo </p></li><li><p>Programao Lgica </p><p>O que ? 1. Declarar fatos primitivos sobre um domnio; 2. Definir regras que expressam relaes entre os fatos de um domnio; 3. Fazer perguntas sobre um domnio. </p><p>Regras Fatos </p><p>Pablo um cantor cantor(pablo). Larissa gosta de Pablo gostar(larissa,pablo). </p><p>gostar(larissa,pablo). gostar(rafaella,pablo). sofrencia(X,Y):-gostar(Y,Z),gostar(X,Z). ?-sofrencia(larissa,rafaella). true </p><p>Blenda Guedes, Geraldo Gomes e Larissa Melo </p></li><li><p>Programao Lgica </p><p>Banco de Dados </p><p>Te prometo algo muito durador </p><p> o conjunto !! </p><p>Blenda Guedes, Geraldo Gomes e Larissa Melo </p></li><li><p>Programao Lgica </p><p>Histria por rabiscos </p><p>Vai lembrar de tudo que vivemos Vai lembrar dos momentos que passamos </p><p>Alain Colmerauer e Philippe Roussel PROgrammation en LOGique </p><p>Robert Kowalski Robert Pasero e Jean Trudel </p><p>PROLOG </p><p>Blenda Guedes, Geraldo Gomes e Larissa Melo </p></li><li><p>Programao Lgica </p><p>Quem e para qu? </p><p>Sistemas Baseados em Conhecimento </p><p>Bancos de Dados Inteligentes </p><p>Sistemas Especialistas </p><p> Processamento da Linguagem Natural </p><p>Indstria de aviao Instituto Nacional de Meteorologia Modelagem ambiental </p><p>Minerao de dados Construo de compiladores </p><p>Vocs tambm!! </p><p>Todos usam e gostam da essncia das </p><p>minhas msicas! </p><p>Blenda Guedes, Geraldo Gomes e Larissa Melo </p></li><li><p>Programao Lgica </p><p>Prolog what, up and running </p><p>Prolog is an AI weapon, you tell it what to do, which it does but then it also builds some terminators to go back </p><p>in time and kill your mom. 9gag (If Programming Languages Were Weapons) </p><p>Blenda Guedes, Geraldo Gomes e Larissa Melo </p></li><li><p>Programao Lgica </p><p>Prolog what, up and running </p><p>Prolog uma linguagem de Turing completa o que significa que pode implementar qualquer algoritmo. </p><p>Larissa gosta de Pablo e de Wando gosta(larissa, pablo), gosta(larissa, wando). Larissa gosta de quem? ?-gosta(larissa,X). Larissa gosta de ouvir Pablo na bad ouvir(larissa, pablo):- situacao(bad). </p><p> baseado em: Fatos Consultas Regras </p><p>Termo PROLOG </p><p>Conjuno , </p><p>Disjuno ; </p><p>Implicao :- </p><p>Termino de Clusula . </p><p>Concluso Condio </p><p>Blenda Guedes, Geraldo Gomes e Larissa Melo </p></li><li><p>Programao Lgica </p><p>Prolog what, up and running 1. Download baby! http://portableapps.com/apps/development/swi-prolog_portable 2. Install (next...next..next...) 3. Run! 4. Criar arquivo com os fatos e regras... Na extenso PROLOG(.pl) 5. Da um import no arquivo em (File-&gt;Consult); 6. Agora s fazer as consultas! ;) </p><p>Vamos colocar para </p><p>Funfar! </p><p>Blenda Guedes, Geraldo Gomes e Larissa Melo </p></li><li><p>Programao Lgica </p><p>Hands On Vamos definir o Rei da Sofrncia </p><p>por PROLOG? </p><p>Blenda Guedes, Geraldo Gomes e Larissa Melo </p></li><li><p>Programao Lgica </p><p> Estou indo embora Por favor, no implora A mala j est l fora </p><p>Dvidas?? </p><p>Blenda Guedes, Geraldo Gomes e Larissa Melo </p></li><li><p>Programao Lgica </p><p>Referncias http://letras.mus.br/pablo/ http://en.wikipedia.org/wiki/Turing_completeness http://www.inf.puc-rio.br/~inf1621/logica.pdf Slides da Prof. Elaine Faria - UFU, 2014 - Programao Lgica. Sintaxe Prolog Slides do Prof. Gabriel Alves UFRPE, 2014 Programao lgica http://pt.slideshare.net/rafaelbozzetti/seminrio-prolog http://en.wikipedia.org/wiki/Prolog http://en.wikipedia.org/wiki/Logic_programming http://9gag.com/gag/anXEbe0 </p><p>Blenda Guedes, Geraldo Gomes e Larissa Melo </p></li><li><p>FIM!! </p><p>Blenda Guedes, Geraldo Gomes e Larissa Melo </p></li></ul>