SlideShare uma empresa Scribd logo
1 de 99
Inteligência Artificial PROLOG – partes 1, 2 e 3 Rafael Rosario [email_address] [email_address]
PROLOG (I) ,[object Object],[object Object],[object Object]
PROLOG (II) ,[object Object],[object Object],[object Object]
PROLOG(III) ,[object Object],[object Object]
Fato (I) ,[object Object],[object Object],[object Object],[object Object],[object Object]
Fato (II) ,[object Object],[object Object],[object Object],[object Object],[object Object]
Fato (III) ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Regra (I) ,[object Object],[object Object],[object Object]
Regra (II) ,[object Object],[object Object],[object Object],[object Object]
Consulta (I) ,[object Object],[object Object],[object Object]
Consulta (II) ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Regras Recursivas ,[object Object],[object Object],[object Object],[object Object],[object Object]
Prática 1 ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Prática 1 - exemplo ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Outros conceitos (I) ,[object Object],[object Object],[object Object],[object Object],[object Object]
Outros conceitos (II) ,[object Object],[object Object],[object Object],[object Object]
Outros conceitos (II) ,[object Object],[object Object]
Prática 2 ,[object Object],[object Object],[object Object],[object Object]
Resposta - Prática 2 (I) ,[object Object],[object Object],[object Object],[object Object]
Resposta - Prática 2 (II) ,[object Object],[object Object],[object Object],[object Object]
Aplicações (I) ,[object Object],[object Object],[object Object],[object Object],[object Object]
Aplicações (II) ,[object Object],[object Object],[object Object],[object Object]
Revisando – 3 elementos Prolog (I) ,[object Object],[object Object],[object Object],[object Object]
Revisando – 3 elementos Prolog (II) ,[object Object],[object Object],[object Object]
Revisando – 3 elementos Prolog (III) ,[object Object],[object Object],[object Object],[object Object],[object Object]
Operadores de Controle ,[object Object],[object Object],[object Object],[object Object]
Backtracking (I) ,[object Object],[object Object],[object Object]
Backtracking (II) ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Backtracking (III) ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Cut (I) ,[object Object],[object Object]
Cut (II) ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Cut (II) ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Prática 3 ,[object Object],[object Object]
Prática 3 - Resposta ,[object Object],[object Object]
Fail (I) ,[object Object],[object Object],[object Object],[object Object]
Prática 4 ,[object Object],[object Object],[object Object],[object Object]
Prática 4 - Resposta ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Comando “Is” (I) ,[object Object],[object Object],[object Object],[object Object],[object Object]
Comando “Is” (II) ,[object Object],[object Object],[object Object],[object Object]
Fatorial ,[object Object],[object Object],[object Object],[object Object]
fatorial(3,F)  – passo a passo (I) ,[object Object],[object Object],[object Object],[object Object],[object Object],PILHA F 3 * F1
[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],fatorial(3,F)  – passo a passo (II) PILHA F 2 * F1 F 3 * F1
fatorial(3,F)  – passo a passo (III) ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],PILHA F 1 * F1 F 2 * F1 F 3 * F1
fatorial(3,F)  – passo a passo (IV) ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],PILHA F 1 F 1 * F1 F 2 * F1 F 3 * F1
fatorial(3,F)  – passo a passo (V) ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],PILHA F = 1 1 * 1 F 2 * F1 F 3 * F1
fatorial(3,F)  – passo a passo (VI) ,[object Object],[object Object],[object Object],[object Object],[object Object],PILHA F = 2 2 * 1 F 3 * F1
fatorial(3,F)  – passo a passo (VII) ,[object Object],[object Object],[object Object],[object Object],[object Object],PILHA F = 6 3 * 2
Prática 5 ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Resposta - Prática 5 ,[object Object],[object Object],[object Object],[object Object],[object Object]
Boas práticas (I) ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Boas práticas (II) ,[object Object],[object Object],[object Object],[object Object],[object Object]
Boas práticas (III) ,[object Object],[object Object],[object Object],[object Object]
Prática 6 ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Prática 6 - Respostas ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Prática 6 - Respostas ,[object Object],[object Object],[object Object]
Operadores infixos (I) ,[object Object],[object Object],[object Object]
Operadores infixos (II) ,[object Object],[object Object],[object Object]
Diretivas (I) ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Diretivas (II) ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Diretivas (III) ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Prática 7 ,[object Object],[object Object],[object Object],[object Object]
Operadores de Comparação ,[object Object],OPERADOR PRIORIDADE TIPO SIGNIFICADO > 700 xfx maior que < 700 xfx menor que >= 700 xfx maior ou igual a <= 700 xfx menor ou igual a =:= ou == 700 xfx valores iguais = ou = 700 xfx valores diferentes
Base de dados relacional (I) ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Base de dados relacional (II) ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Prática 8 ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Prática 8 - resposta ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Prática 8 – resposta 2 (I) ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Prática 8 – resposta 2 (II) ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Prática 8 – resposta 2 (III) ,[object Object],[object Object],[object Object]
Listas ,[object Object],[object Object],[object Object],[object Object]
Composição de Lista ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Construindo uma Lista ,[object Object],[object Object],[object Object],[object Object]
Ocorrência de elementos na Lista (I) ,[object Object],[object Object],[object Object],[object Object],[object Object]
Ocorrência de elementos na Lista (II) ,[object Object],[object Object],[object Object],[object Object],[object Object]
Ocorrência de elementos na Lista (III) ,[object Object],[object Object],[object Object],[object Object],[object Object]
Prática 9  ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Concatenação de listas (I) ,[object Object],[object Object],[object Object],[object Object],[object Object]
Concatenação de listas (II) ,[object Object],[object Object],[object Object],[object Object]
Concatenação de listas (III) ,[object Object],[object Object],[object Object]
Concatenação de listas (IV) ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Concatenação de listas (V) ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Concatenação de listas (VI) ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Concatenação de listas (VII) ,[object Object],[object Object],[object Object],[object Object]
Prática 10 ,[object Object],[object Object],[object Object],[object Object]
Remover da lista (I) ,[object Object],[object Object],[object Object]
Remover da lista (II) ,[object Object],[object Object],[object Object],[object Object],[object Object]
Remover da lista (III) ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Prática 11 ,[object Object],[object Object]
bagOf, setOf e findAll ,[object Object],[object Object],[object Object]
bagOf (I) ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
bagOf (II) ,[object Object],[object Object],[object Object]
bagOf (III) ,[object Object],[object Object],[object Object],[object Object]
bagOf – Outro Exemplo ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
setOf (I) ,[object Object],[object Object]
setOf (II) ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
setOf (III) ,[object Object],[object Object],[object Object]
findall (I) ,[object Object]
What is next? ,[object Object],[object Object]
Referências ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Mais conteúdo relacionado

Mais procurados

Revisão Sobre Programação Orientada a Objetos com Java
Revisão Sobre Programação Orientada a Objetos com Java Revisão Sobre Programação Orientada a Objetos com Java
Revisão Sobre Programação Orientada a Objetos com Java Mario Jorge Pereira
 
Exercícios resolvidos sobre logaritmos (Inclui o uso das propriedades, restiç...
Exercícios resolvidos sobre logaritmos (Inclui o uso das propriedades, restiç...Exercícios resolvidos sobre logaritmos (Inclui o uso das propriedades, restiç...
Exercícios resolvidos sobre logaritmos (Inclui o uso das propriedades, restiç...wilkerfilipel
 
Equacoes do 1 grau
Equacoes do 1 grauEquacoes do 1 grau
Equacoes do 1 grauestrelaeia
 
Java: Composicao e Array List
Java: Composicao e Array ListJava: Composicao e Array List
Java: Composicao e Array ListArthur Emanuel
 
Java 10 Classes Abstratas Interfaces
Java 10 Classes Abstratas InterfacesJava 10 Classes Abstratas Interfaces
Java 10 Classes Abstratas InterfacesRegis Magalhães
 
FunçOes Injetoras, Sobrejetoras E Sobrejetoras
FunçOes Injetoras, Sobrejetoras E SobrejetorasFunçOes Injetoras, Sobrejetoras E Sobrejetoras
FunçOes Injetoras, Sobrejetoras E Sobrejetorasandreabelchol
 
01 introdução à algebra relacional
01   introdução à algebra relacional01   introdução à algebra relacional
01 introdução à algebra relacionalcharlesoliveira13
 
Funcões Injetora, Sobrejetora e Bijetora
Funcões Injetora, Sobrejetora e BijetoraFuncões Injetora, Sobrejetora e Bijetora
Funcões Injetora, Sobrejetora e BijetoraCleiton Cunha
 
Funcoes varias variaveis
Funcoes varias variaveisFuncoes varias variaveis
Funcoes varias variaveisFilomena Alves
 
Functional Programming
Functional ProgrammingFunctional Programming
Functional ProgrammingRyan Riley
 
Aulas de matemática(soares)números inteiros (2)
Aulas de matemática(soares)números inteiros (2)Aulas de matemática(soares)números inteiros (2)
Aulas de matemática(soares)números inteiros (2)Antonio Filho
 

Mais procurados (20)

Revisão Sobre Programação Orientada a Objetos com Java
Revisão Sobre Programação Orientada a Objetos com Java Revisão Sobre Programação Orientada a Objetos com Java
Revisão Sobre Programação Orientada a Objetos com Java
 
Função modular
Função modularFunção modular
Função modular
 
Exercícios resolvidos sobre logaritmos (Inclui o uso das propriedades, restiç...
Exercícios resolvidos sobre logaritmos (Inclui o uso das propriedades, restiç...Exercícios resolvidos sobre logaritmos (Inclui o uso das propriedades, restiç...
Exercícios resolvidos sobre logaritmos (Inclui o uso das propriedades, restiç...
 
Equacoes do 1 grau
Equacoes do 1 grauEquacoes do 1 grau
Equacoes do 1 grau
 
Java: Composicao e Array List
Java: Composicao e Array ListJava: Composicao e Array List
Java: Composicao e Array List
 
Matemática - PA e PG
Matemática - PA e PGMatemática - PA e PG
Matemática - PA e PG
 
Java 10 Classes Abstratas Interfaces
Java 10 Classes Abstratas InterfacesJava 10 Classes Abstratas Interfaces
Java 10 Classes Abstratas Interfaces
 
FunçOes Injetoras, Sobrejetoras E Sobrejetoras
FunçOes Injetoras, Sobrejetoras E SobrejetorasFunçOes Injetoras, Sobrejetoras E Sobrejetoras
FunçOes Injetoras, Sobrejetoras E Sobrejetoras
 
Funções
FunçõesFunções
Funções
 
Fatoraçao de polinomios
Fatoraçao de polinomiosFatoraçao de polinomios
Fatoraçao de polinomios
 
Probabilidade
ProbabilidadeProbabilidade
Probabilidade
 
Exercicios
ExerciciosExercicios
Exercicios
 
01 introdução à algebra relacional
01   introdução à algebra relacional01   introdução à algebra relacional
01 introdução à algebra relacional
 
Funcões Injetora, Sobrejetora e Bijetora
Funcões Injetora, Sobrejetora e BijetoraFuncões Injetora, Sobrejetora e Bijetora
Funcões Injetora, Sobrejetora e Bijetora
 
Função do 1º grau
Função do 1º grauFunção do 1º grau
Função do 1º grau
 
Funcoes varias variaveis
Funcoes varias variaveisFuncoes varias variaveis
Funcoes varias variaveis
 
Functional Programming
Functional ProgrammingFunctional Programming
Functional Programming
 
Aulas de matemática(soares)números inteiros (2)
Aulas de matemática(soares)números inteiros (2)Aulas de matemática(soares)números inteiros (2)
Aulas de matemática(soares)números inteiros (2)
 
Operadores Lineares
Operadores LinearesOperadores Lineares
Operadores Lineares
 
Proj lin excel
Proj lin excelProj lin excel
Proj lin excel
 

Destaque

Listas em Prolog
Listas em PrologListas em Prolog
Listas em PrologNatã Melo
 
Programadores x Web Designers - Desenvolvimento de Sistemas Web
Programadores x Web Designers - Desenvolvimento de Sistemas WebProgramadores x Web Designers - Desenvolvimento de Sistemas Web
Programadores x Web Designers - Desenvolvimento de Sistemas WebRamon Sousa
 
Linguagem Prolog - Antonio Rufino
Linguagem Prolog - Antonio RufinoLinguagem Prolog - Antonio Rufino
Linguagem Prolog - Antonio RufinoAntonio Rufino
 
Apresentação sistema prolog
Apresentação sistema prologApresentação sistema prolog
Apresentação sistema prologNilo Ramos
 
Aula de Prolog 07 - Estruturas de Dados
Aula de Prolog 07 - Estruturas de DadosAula de Prolog 07 - Estruturas de Dados
Aula de Prolog 07 - Estruturas de DadosFabio Moura Pereira
 
Sotfware de Programacion Lógica - CLIPS, PROLOG, LISP
Sotfware de Programacion Lógica - CLIPS, PROLOG, LISPSotfware de Programacion Lógica - CLIPS, PROLOG, LISP
Sotfware de Programacion Lógica - CLIPS, PROLOG, LISPAyrton Adame
 
Inteligencia Artificial - Linguistica
Inteligencia Artificial - LinguisticaInteligencia Artificial - Linguistica
Inteligencia Artificial - LinguisticaToni Esteves
 
PNAIC - Ano 3 unidade 8
PNAIC - Ano 3 unidade 8 PNAIC - Ano 3 unidade 8
PNAIC - Ano 3 unidade 8 ElieneDias
 
Planejamento de educação fisica ensino fundamental cbc e descritores
Planejamento de educação fisica ensino fundamental cbc e descritoresPlanejamento de educação fisica ensino fundamental cbc e descritores
Planejamento de educação fisica ensino fundamental cbc e descritoresAtividades Diversas Cláudia
 

Destaque (20)

Listas em Prolog
Listas em PrologListas em Prolog
Listas em Prolog
 
Programadores x Web Designers - Desenvolvimento de Sistemas Web
Programadores x Web Designers - Desenvolvimento de Sistemas WebProgramadores x Web Designers - Desenvolvimento de Sistemas Web
Programadores x Web Designers - Desenvolvimento de Sistemas Web
 
Linguagem Prolog - Antonio Rufino
Linguagem Prolog - Antonio RufinoLinguagem Prolog - Antonio Rufino
Linguagem Prolog - Antonio Rufino
 
Aula prolog 02 ia
Aula prolog 02   iaAula prolog 02   ia
Aula prolog 02 ia
 
Minicurso Prolog
Minicurso PrologMinicurso Prolog
Minicurso Prolog
 
Aplicação prolog
Aplicação prologAplicação prolog
Aplicação prolog
 
Solid
SolidSolid
Solid
 
Apresentação sistema prolog
Apresentação sistema prologApresentação sistema prolog
Apresentação sistema prolog
 
Siemens solid edge-v5-pt
Siemens solid edge-v5-ptSiemens solid edge-v5-pt
Siemens solid edge-v5-pt
 
Aula de Prolog 07 - Estruturas de Dados
Aula de Prolog 07 - Estruturas de DadosAula de Prolog 07 - Estruturas de Dados
Aula de Prolog 07 - Estruturas de Dados
 
Aplicando SOLID com PHP7
Aplicando SOLID com PHP7Aplicando SOLID com PHP7
Aplicando SOLID com PHP7
 
Paradigma lógico
Paradigma lógicoParadigma lógico
Paradigma lógico
 
Sotfware de Programacion Lógica - CLIPS, PROLOG, LISP
Sotfware de Programacion Lógica - CLIPS, PROLOG, LISPSotfware de Programacion Lógica - CLIPS, PROLOG, LISP
Sotfware de Programacion Lógica - CLIPS, PROLOG, LISP
 
Lisp
LispLisp
Lisp
 
Projetohorta
ProjetohortaProjetohorta
Projetohorta
 
Inteligencia Artificial - Linguistica
Inteligencia Artificial - LinguisticaInteligencia Artificial - Linguistica
Inteligencia Artificial - Linguistica
 
PNAIC - Ano 3 unidade 8
PNAIC - Ano 3 unidade 8 PNAIC - Ano 3 unidade 8
PNAIC - Ano 3 unidade 8
 
Modelo de parecer descritivo
Modelo de parecer descritivoModelo de parecer descritivo
Modelo de parecer descritivo
 
Planejamento de educação fisica ensino fundamental cbc e descritores
Planejamento de educação fisica ensino fundamental cbc e descritoresPlanejamento de educação fisica ensino fundamental cbc e descritores
Planejamento de educação fisica ensino fundamental cbc e descritores
 
História 2º ano
História 2º anoHistória 2º ano
História 2º ano
 

Semelhante a IA Prolog

Semelhante a IA Prolog (20)

Prolog 04 - Regras
Prolog 04 - RegrasProlog 04 - Regras
Prolog 04 - Regras
 
7-Prolog-Base (2).pdf
7-Prolog-Base (2).pdf7-Prolog-Base (2).pdf
7-Prolog-Base (2).pdf
 
Seminário Prolog
Seminário PrologSeminário Prolog
Seminário Prolog
 
Programacao logica
Programacao logicaProgramacao logica
Programacao logica
 
Aula Prolog 02
Aula Prolog 02Aula Prolog 02
Aula Prolog 02
 
Equação do 1º grau
Equação do 1º grauEquação do 1º grau
Equação do 1º grau
 
trabalho2 (Logica Computacao).ppt
trabalho2 (Logica Computacao).ppttrabalho2 (Logica Computacao).ppt
trabalho2 (Logica Computacao).ppt
 
29-aula29.pdf
29-aula29.pdf29-aula29.pdf
29-aula29.pdf
 
2ª aula 16-08-2013 - licenciaturas
2ª aula   16-08-2013 - licenciaturas2ª aula   16-08-2013 - licenciaturas
2ª aula 16-08-2013 - licenciaturas
 
Calculo numerico capitulo 2
Calculo numerico capitulo 2Calculo numerico capitulo 2
Calculo numerico capitulo 2
 
Mat equacoes do 1 grau 003
Mat equacoes do 1 grau  003Mat equacoes do 1 grau  003
Mat equacoes do 1 grau 003
 
Apresentação1 prolog trabalho phillipe
Apresentação1 prolog trabalho phillipeApresentação1 prolog trabalho phillipe
Apresentação1 prolog trabalho phillipe
 
Haskell
HaskellHaskell
Haskell
 
Mat regra de sinais
Mat regra de sinaisMat regra de sinais
Mat regra de sinais
 
Aula de Prolog 08 - Unificação
Aula de Prolog 08 - UnificaçãoAula de Prolog 08 - Unificação
Aula de Prolog 08 - Unificação
 
Aula Prolog 03
Aula Prolog 03Aula Prolog 03
Aula Prolog 03
 
Mat ii aula 7 - noções de lógica - quantificadores
Mat ii   aula 7 - noções de lógica - quantificadoresMat ii   aula 7 - noções de lógica - quantificadores
Mat ii aula 7 - noções de lógica - quantificadores
 
Aula 2 aed - pseudocódigo
Aula 2   aed - pseudocódigoAula 2   aed - pseudocódigo
Aula 2 aed - pseudocódigo
 
Mat equacoes do 1 grau 002
Mat equacoes do 1 grau  002Mat equacoes do 1 grau  002
Mat equacoes do 1 grau 002
 
63 equacoes-do-1-grau
63 equacoes-do-1-grau63 equacoes-do-1-grau
63 equacoes-do-1-grau
 

IA Prolog

  • 1. Inteligência Artificial PROLOG – partes 1, 2 e 3 Rafael Rosario [email_address] [email_address]
  • 2.
  • 3.
  • 4.
  • 5.
  • 6.
  • 7.
  • 8.
  • 9.
  • 10.
  • 11.
  • 12.
  • 13.
  • 14.
  • 15.
  • 16.
  • 17.
  • 18.
  • 19.
  • 20.
  • 21.
  • 22.
  • 23.
  • 24.
  • 25.
  • 26.
  • 27.
  • 28.
  • 29.
  • 30.
  • 31.
  • 32.
  • 33.
  • 34.
  • 35.
  • 36.
  • 37.
  • 38.
  • 39.
  • 40.
  • 41.
  • 42.
  • 43.
  • 44.
  • 45.
  • 46.
  • 47.
  • 48.
  • 49.
  • 50.
  • 51.
  • 52.
  • 53.
  • 54.
  • 55.
  • 56.
  • 57.
  • 58.
  • 59.
  • 60.
  • 61.
  • 62.
  • 63.
  • 64.
  • 65.
  • 66.
  • 67.
  • 68.
  • 69.
  • 70.
  • 71.
  • 72.
  • 73.
  • 74.
  • 75.
  • 76.
  • 77.
  • 78.
  • 79.
  • 80.
  • 81.
  • 82.
  • 83.
  • 84.
  • 85.
  • 86.
  • 87.
  • 88.
  • 89.
  • 90.
  • 91.
  • 92.
  • 93.
  • 94.
  • 95.
  • 96.
  • 97.
  • 98.
  • 99.