Paradigma Lgico Reviso

Funes Matemticas Funes primitivas e formas funcionais tomos e Listas LISP

Paradigma Lgico
Um breve histrico
1950........................................................................................................ FORTRAN 1960.......................ALGOL-60...........COBOL......LISP......................... SIMULA ALGOL-68 PL/I BASIC 1970..................Pascal............................................................................ Smalltalk C PROLOG Modula-2 ML 1980....................Ada...........DBASE-II.................................................. Miranda Eifell C++ 1990.....................................................................Haskell..........Godel... Java Delphi

Orientado a objetos
Paradigmas de Programao 1

Imperativo

Funcional

Lgico
2

Paradigmas de Programao

Paradigma Lgico
Baseado em lgica simblica Utiliza inferncia lgica para produzir resultados. Desenvolvida para prova automtica de teoremas. Tambm chamado linguagem declarativa.

Paradigma Lgico
Inferncia utiliza a induo para a resoluo dos teoremas. Raciocnio
Indutivo
TODO P4 P3 P2 P1 Pn P5

Paradigmas de Programao

Paradigmas de Programao

Paradigma Lgico
Mauricio pensa Waldomiro pensa Ettore pensa .................. Ronaldo pensa .................. Logo: Todos os homens pensam!

Paradigma Lgico
Programao Lgica
Composto por um conjunto de fatos Coleo de regras de inferncia que estabelecem relaes entre os fatos Verificar a validade de novas proposies.

ilao ou inferncia

conhecimento geral
Joo ladro Fernando ladro Manoel ladro ....................... Logo: Todos os homens so ladres!

Cuidado! A induo necessita de testes contra falhas

Paradigmas de Programao

Paradigmas de Programao

Paradigma Lgico
Clculo de Predicados
Proposio uma afirmao que pode ser verdadeira ou falsa. Pode envolver diversos objetos e suas relaes. Lgica formal prov meios para descrever proposies formalmente para verificao de sua veracidade. Lgica simblica: expressa proposies, relacionamentos entre proposies e descreve o processo de inferncia a partir das proposies verdadeiras.
Paradigmas de Programao 7

Paradigma Lgico
Proposies
Objetos representados por: termos simples, constantes ou variveis. Ex: homem, mulher, Joo, x, y Proposies atmicas consistem em termos compostos.

Paradigmas de Programao

Paradigma Lgico
Proposies
Termos compostos = elemento de uma relao matemtica escrito com aparncia de notao de funo matemtica. Formado de functor e uma lista de parmetros Ex.: homem(joo) -> 1-Tupla gosta(maria, arroz) -> 2-Tupla

Paradigma Lgico
Proposies Compostas
So compostas de duas ou mais proposies atmicas, ligadas por conectores lgicos.

Paradigmas de Programao

Paradigmas de Programao

10

Paradigma Lgico
Nomes e smbolos dos conectores lgicos:

Paradigma Lgico
Quando se utiliza variveis em proposies estas devem ser introduzidas por um quantificador.

Paradigmas de Programao

11

Paradigmas de Programao

12

Paradigma Lgico
Forma Clausal
Forma padro de compor uma proposio.
Tanto os A quanto os B so termos. Significa que se todos os As forem verdadeiros pelo menos um dentre os Bs ser verdadeiro. Lado direito = antecedente Lado esquerdo = conseqente
Paradigmas de Programao 13

Paradigma Lgico
Resoluo
uma regra de inferncia a ser aplicada na resoluo de uma forma clausal.

Paradigmas de Programao

14