Programação Lógica. (Prática em Prolog) LÓGICA APLICADA A COMPUTAÇÃO. Professor: Rosalvo Ferreira de Oliveira Neto

Transcrição

1

2 Programação Lógica (Prática em Prolog) LÓGICA APLICADA A COMPUTAÇÃO Professor: Rosalvo Ferreira de Oliveira Neto

3 Estrutura 1. Recursão 2. Lista 3. Estudo de casos

4 Recursividade A recursividade é um princípio que nos permite obter a solução de um problema a partir da solução de uma instância menor dele mesmo. 4

5 Recursividade Para o exemplo da aula anterior, como faríamos para encontrar os descendentes de um dos membros da família pinheiro? descendente(x, Y):- progenitor(y, X). descendente(x, Y):- progenitor(y, Z), descendente(x, Z). 5

6 Findall Para retornar todos os resultados de uma consulta em uma lista deve-se utilizar o comando Findall. findall(?template,:goal,?bag) Bag é a lista de instâncias de Template encontradas nas provas de Goal. A ordem da lista corresponde à ordem em que são encontradas as respostas. Se não existirem instanciações para Template, Bag unifica com a lista vazia 6

7 Dica variável anônima _ Utilizada quando não for necessário realizar filtros sobre uma variável 7

8 Lista Uma lista é uma seqüência linear de itens, separados por vírgulas e delimitados por colchetes. A lista vazia é representada por [] e uma lista com pelo menos um item é representada por [X Y], onde X é a cabeça (primeiro item) e Y é a cauda (demais itens) dessa lista. 8

9 Lista Uma lista é uma seqüência linear de itens, separados por vírgulas e delimitados por colchetes. A lista vazia é representada por [] e uma lista com pelo menos um item é representada por [X Y], onde X é a cabeça (primeiro item) e Y é a cauda (demais itens) dessa lista. 9

10 Representação de Listas [a, b, c, d]..(cabeça, Corpo)..(a,.(b,.(c,.(d,.([])))). brasil uruguai argentina paraguai [ ] [brasil, uruguai, argentina, paraguai] 10

11 Família Pinheiro Pouco se sabe da história passada da família Pinheiro. Existem alguns registros antigos que indicam que o casal José e Maria criou dois filhos, o João e a Ana. Que a Ana teve duas filhas, a Helena e a Joana, também parece ser verdade, segundo os mesmos registros. Além disso, o Mário é filho do João, pois muito se orgulha ele disso. Estranho também, foi constatar que o Carlos nasceu da relação entre a Helena, muito formosa, e o Mário. a) Utilizando o predicado progenitor(x,y) (ou seja, X é progenitor de Y), represente em Prolog todos os progenitores da família Pinheiro. b) Represente em Prolog as relações: sexo (masculino ou feminino), irmã, irmão, descendente, mãe, pai, avô, tio. c) Formule em Prolog as seguintes questões: 11

12 Família Pinheiro (Consultas) a) O João é filho do José? b) Quem são os filhos da Maria? c) Quem são os primos do Mário? d) Quem são os descendente do José? e) A Helena tem irmãos E irmãs? f) A Helena tem irmãos OU irmãs? 12

13 Academia 13

14 Grafo 14

15 Tênis Guga é Campeão. Melligeni é campeão. Navratilova é campeão. Tina é campeã. Guga é homem. Melligeni é homem. Andre é homem. Navratilova é mulher. Tina é mulher. Guga é filho de Milton. Guga é mais velho do que Melligeni. Melligeni é mais velho do que Andre. Andre nasceu antes do que Melligeni. Navratilova nasceu antes do que Guga. Navratilova nasceu antes do que Tina. Melligeni nasceu antes do que Tina. 15

16 Tênis (Consultas) a) Qual tenista é mais velha que Tina? b) Quais campeões masculinos são mais jovens que Guga? c) Melligeni é mais velho que André? 16

17