Programação lógica

Embed Size (px)

Text of Programação lógica

  • Programao Lgica

    Por favor, no implora Porque homem no chora

    Voc que machucou meu corao Me fez chorar

    ...

    Arrocha, Pablo

    Blenda Guedes, Geraldo Gomes e Larissa Melo

  • Programao Lgica

    Roteiro

    O que ? Conceito de BD para PL Histria por rabiscos Quem e para qu? Prolog - what, up and running Hands On Dvidas

    Blenda Guedes, Geraldo Gomes e Larissa Melo

  • Programao Lgica

    O que ? Lgica matemtica para a

    programao!!

    PLANER

    PROLOG

    QLISP

    SQL

    QA-4 POPLER

    CONNIVER

    MERCURY

    ETHER

    LINGUAGENS DE PROGRAMAO LGICA

    Descrevemos o problema e no a soluo!

    Declaramos o que ns queremos!!

    Minhas msicas usam programao

    Lgica! Clusula de Horn; Lgica Proposicional; Lgica de Primeira Ordem.

    Blenda Guedes, Geraldo Gomes e Larissa Melo

  • Programao Lgica

    O que ? O QUE SE QUER

    ...encosta em meu nariz e faz Bilu bilu bilu bilu

    O QUE SE FAZ

    ...Escute o meu desabafo Eu quero te falar

    Na Programao lgica se diz o que se

    quer!

    O QUE deve ser feito!

    COMO deve ser feito!

    doendo(bemfeito). chorando(bemfeito).

    ?-doendo(X). X=bemfeito. ?-chorando(X). X=bemfeito.

    trecho = raw_input('Primeira parte: ') trecho2 = raw_input('Segunda parte: ') Trecho_final = trecho + " " +trecho2 print Trecho_final

    Blenda Guedes, Geraldo Gomes e Larissa Melo

  • Programao Lgica

    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.

    Regras Fatos

    Pablo um cantor cantor(pablo). Larissa gosta de Pablo gostar(larissa,pablo).

    gostar(larissa,pablo). gostar(rafaella,pablo). sofrencia(X,Y):-gostar(Y,Z),gostar(X,Z). ?-sofrencia(larissa,rafaella). true

    Blenda Guedes, Geraldo Gomes e Larissa Melo

  • Programao Lgica

    Banco de Dados

    Te prometo algo muito durador

    o conjunto !!

    Blenda Guedes, Geraldo Gomes e Larissa Melo

  • Programao Lgica

    Histria por rabiscos

    Vai lembrar de tudo que vivemos Vai lembrar dos momentos que passamos

    Alain Colmerauer e Philippe Roussel PROgrammation en LOGique

    Robert Kowalski Robert Pasero e Jean Trudel

    PROLOG

    Blenda Guedes, Geraldo Gomes e Larissa Melo

  • Programao Lgica

    Quem e para qu?

    Sistemas Baseados em Conhecimento

    Bancos de Dados Inteligentes

    Sistemas Especialistas

    Processamento da Linguagem Natural

    Indstria de aviao Instituto Nacional de Meteorologia Modelagem ambiental

    Minerao de dados Construo de compiladores

    Vocs tambm!!

    Todos usam e gostam da essncia das

    minhas msicas!

    Blenda Guedes, Geraldo Gomes e Larissa Melo

  • Programao Lgica

    Prolog what, up and running

    Prolog is an AI weapon, you tell it what to do, which it does but then it also builds some terminators to go back

    in time and kill your mom. 9gag (If Programming Languages Were Weapons)

    Blenda Guedes, Geraldo Gomes e Larissa Melo

  • Programao Lgica

    Prolog what, up and running

    Prolog uma linguagem de Turing completa o que significa que pode implementar qualquer algoritmo.

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

    baseado em: Fatos Consultas Regras

    Termo PROLOG

    Conjuno ,

    Disjuno ;

    Implicao :-

    Termino de Clusula .

    Concluso Condio

    Blenda Guedes, Geraldo Gomes e Larissa Melo

  • Programao Lgica

    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->Consult); 6. Agora s fazer as consultas! ;)

    Vamos colocar para

    Funfar!

    Blenda Guedes, Geraldo Gomes e Larissa Melo

  • Programao Lgica

    Hands On Vamos definir o Rei da Sofrncia

    por PROLOG?

    Blenda Guedes, Geraldo Gomes e Larissa Melo

  • Programao Lgica

    Estou indo embora Por favor, no implora A mala j est l fora

    Dvidas??

    Blenda Guedes, Geraldo Gomes e Larissa Melo

  • Programao Lgica

    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

    Blenda Guedes, Geraldo Gomes e Larissa Melo

  • FIM!!

    Blenda Guedes, Geraldo Gomes e Larissa Melo