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

Aula 4 - Diagrama Entidade Relacionamento (com exercício no final)
Aula 4  - Diagrama Entidade Relacionamento (com exercício no final)Aula 4  - Diagrama Entidade Relacionamento (com exercício no final)
Aula 4 - Diagrama Entidade Relacionamento (com exercício no final)Janynne Gomes
 
Linguagem Prolog - Antonio Rufino
Linguagem Prolog - Antonio RufinoLinguagem Prolog - Antonio Rufino
Linguagem Prolog - Antonio RufinoAntonio Rufino
 
Banco de dados - Mapeamento MER - Relacional
Banco de dados - Mapeamento MER - RelacionalBanco de dados - Mapeamento MER - Relacional
Banco de dados - Mapeamento MER - RelacionalDaniel Brandão
 
Fundamentos de sistemas de informação
Fundamentos de sistemas de informaçãoFundamentos de sistemas de informação
Fundamentos de sistemas de informaçãoLeonardo Melo Santos
 
Comunicação de dados - Módulo 1
Comunicação de dados - Módulo 1Comunicação de dados - Módulo 1
Comunicação de dados - Módulo 1Luis Ferreira
 
Banco de Dados II Aula 03 - Modelagem de Dados (Modelo Lógico)
Banco de Dados II Aula 03 - Modelagem de Dados (Modelo Lógico)Banco de Dados II Aula 03 - Modelagem de Dados (Modelo Lógico)
Banco de Dados II Aula 03 - Modelagem de Dados (Modelo Lógico)Leinylson Fontinele
 
Modelo Relacional
Modelo RelacionalModelo Relacional
Modelo RelacionalJoel Santos
 
Aula 4 herança, sobrescrita de métodos, construtor
Aula 4   herança, sobrescrita de métodos, construtorAula 4   herança, sobrescrita de métodos, construtor
Aula 4 herança, sobrescrita de métodos, construtorRafael Pinheiro
 
Banco de dados - Aula 1 SQL
Banco de dados - Aula 1 SQLBanco de dados - Aula 1 SQL
Banco de dados - Aula 1 SQLDaniel Brandão
 
Aula 5 encapsulamento, associação, polimorfismo, interfaces
Aula 5   encapsulamento, associação, polimorfismo, interfacesAula 5   encapsulamento, associação, polimorfismo, interfaces
Aula 5 encapsulamento, associação, polimorfismo, interfacesRafael Pinheiro
 
Protocolos TCP IP UDP
Protocolos TCP IP UDPProtocolos TCP IP UDP
Protocolos TCP IP UDPAndré Nobre
 
Tomada de decisao - logica
Tomada de decisao - logicaTomada de decisao - logica
Tomada de decisao - logicaSedu
 
03 - Orientação a objetos e classes em C# v1.0
03 - Orientação a objetos e classes em C# v1.003 - Orientação a objetos e classes em C# v1.0
03 - Orientação a objetos e classes em C# v1.0César Augusto Pessôa
 
Banco de Dados - Modelo Lógico, Chave primária e Chave estrangeira
Banco de Dados - Modelo Lógico, Chave primária e Chave estrangeiraBanco de Dados - Modelo Lógico, Chave primária e Chave estrangeira
Banco de Dados - Modelo Lógico, Chave primária e Chave estrangeiraNatanael Simões
 
Aula 02 - Principios da Orientação a Objetos (POO)
Aula 02 - Principios da Orientação a Objetos (POO)Aula 02 - Principios da Orientação a Objetos (POO)
Aula 02 - Principios da Orientação a Objetos (POO)Daniel Brandão
 

Mais procurados (20)

Aula 4 - Diagrama Entidade Relacionamento (com exercício no final)
Aula 4  - Diagrama Entidade Relacionamento (com exercício no final)Aula 4  - Diagrama Entidade Relacionamento (com exercício no final)
Aula 4 - Diagrama Entidade Relacionamento (com exercício no final)
 
Ficha html e css
Ficha   html e cssFicha   html e css
Ficha html e css
 
Linguagem Prolog - Antonio Rufino
Linguagem Prolog - Antonio RufinoLinguagem Prolog - Antonio Rufino
Linguagem Prolog - Antonio Rufino
 
Banco de dados - Mapeamento MER - Relacional
Banco de dados - Mapeamento MER - RelacionalBanco de dados - Mapeamento MER - Relacional
Banco de dados - Mapeamento MER - Relacional
 
Fundamentos de sistemas de informação
Fundamentos de sistemas de informaçãoFundamentos de sistemas de informação
Fundamentos de sistemas de informação
 
Comunicação de dados - Módulo 1
Comunicação de dados - Módulo 1Comunicação de dados - Módulo 1
Comunicação de dados - Módulo 1
 
Paradigma Orientado a Objeto
Paradigma Orientado a ObjetoParadigma Orientado a Objeto
Paradigma Orientado a Objeto
 
Banco de Dados II Aula 03 - Modelagem de Dados (Modelo Lógico)
Banco de Dados II Aula 03 - Modelagem de Dados (Modelo Lógico)Banco de Dados II Aula 03 - Modelagem de Dados (Modelo Lógico)
Banco de Dados II Aula 03 - Modelagem de Dados (Modelo Lógico)
 
Modelo Relacional
Modelo RelacionalModelo Relacional
Modelo Relacional
 
CEF: Modelo OSI
CEF: Modelo OSICEF: Modelo OSI
CEF: Modelo OSI
 
Aula 4 herança, sobrescrita de métodos, construtor
Aula 4   herança, sobrescrita de métodos, construtorAula 4   herança, sobrescrita de métodos, construtor
Aula 4 herança, sobrescrita de métodos, construtor
 
Banco de dados - Aula 1 SQL
Banco de dados - Aula 1 SQLBanco de dados - Aula 1 SQL
Banco de dados - Aula 1 SQL
 
Aula 5 encapsulamento, associação, polimorfismo, interfaces
Aula 5   encapsulamento, associação, polimorfismo, interfacesAula 5   encapsulamento, associação, polimorfismo, interfaces
Aula 5 encapsulamento, associação, polimorfismo, interfaces
 
Protocolos TCP IP UDP
Protocolos TCP IP UDPProtocolos TCP IP UDP
Protocolos TCP IP UDP
 
Tomada de decisao - logica
Tomada de decisao - logicaTomada de decisao - logica
Tomada de decisao - logica
 
03 - Orientação a objetos e classes em C# v1.0
03 - Orientação a objetos e classes em C# v1.003 - Orientação a objetos e classes em C# v1.0
03 - Orientação a objetos e classes em C# v1.0
 
Banco de Dados - Modelo Lógico, Chave primária e Chave estrangeira
Banco de Dados - Modelo Lógico, Chave primária e Chave estrangeiraBanco de Dados - Modelo Lógico, Chave primária e Chave estrangeira
Banco de Dados - Modelo Lógico, Chave primária e Chave estrangeira
 
Banco de dados
Banco de dadosBanco de dados
Banco de dados
 
Aula 1 semana
Aula 1 semanaAula 1 semana
Aula 1 semana
 
Aula 02 - Principios da Orientação a Objetos (POO)
Aula 02 - Principios da Orientação a Objetos (POO)Aula 02 - Principios da Orientação a Objetos (POO)
Aula 02 - Principios da Orientação a Objetos (POO)
 

Destaque

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
 
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
 
Ciências 2º ano
Ciências 2º anoCiências 2º ano
Ciências 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.