1 / 22

Pro log

Pro log. Pro gramação Lóg ica. Ícaro A. Souza. > Roteiro:. 1. Surgimento 2. Característica 3. Tipo de Dados 5. Fatos ( Base de Dados ) 6. Consultas 7. Regras 8. Listas 9. Predicados do Prolog 10. Exercícios. 1. Surgimento.

kioko
Download Presentation

Pro log

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Prolog Programação Lógica Ícaro A. Souza

  2. > Roteiro: • 1. Surgimento • 2. Característica • 3. Tipo de Dados • 5. Fatos ( Base de Dados ) • 6. Consultas • 7. Regras • 8. Listas • 9. Predicados do Prolog • 10. Exercícios

  3. 1. Surgimento Foi criada em meados de 1972 por Alain Colmerauer e Philippe Roussel, baseados no conceito de Robert Kowalski da interpretação procedimental das cláusulas de Horn. A motivação para isso veio em parte da vontade de reconciliar o uso da lógica como uma linguagem declarativa de representação do conhecimento com a representação procedimental do conhecimento, que era popular na América do Norte no final da década de 1960 para início de 1970.

  4. 2. Característica • O Prolog é uma linguagem declarativa, significando que em vez de o programa estipular a maneira de chegar à solução, passo a passo, (como nas linguagens procedimentais ou imperativas), limita-se a fornecer uma descrição do problema que se pretende computar. Usa uma coleção de fatos ( base de dados )  e de relações lógicas ( regras ) que exprimem o domínio relacional do problema a resolver.

  5. 2. Característica Comentário • Ex: Base de Dados e Regra Operador de Negação

  6. 3. Tipo de Dados • Todos os dados são tratados como sendo de um único tipo, Termo, cuja natureza depende da forma como esse termo foi declarado. Ou seja, os elementos léxicos utilizados na sua declaração determinam se esse termo será um número, um texto, uma variável, uma estrutura complexa e assim por diante.

  7. 3.1 Átomos • As constantes de texto são introduzidas por meio de átomos. Um átomo é uma sequência constituída de letras, números, mas iniciando com uma letra minúscula.  Ex: anaana_maria ‘ana’ ‘anamaria’

  8. 3.2 Números • Um número é uma sequência de dígitos, permitindo também os sinais de . (para números reais), - (número negativo) e e (notação científica). Algumas implementações do Prolog não fazem distinção entre inteiros e números reais. Ex: 321 3.21

  9. 3.3 Variáveis • Variáveis são declaradas da mesma forma que átomos, porém iniciando com uma letra maiúscula. No ambiente Prolog uma variável não é um contêiner cujo valor pode ser atribuído (como ocorre nas linguagens imperativas). Seu comportamento é mais próximo de um padrão, que é incrementalmente especificado pela unificação. Em outras palavras, uma variável Prolog é como uma incógnita, cujo valor é desconhecido a princípio, mas após descoberto, não sofre mais mudanças. Ex: Ana X _X _Ana _ana

  10. 4. Operadores

  11. 5. Fatos (Base de Dados) • A unidade básica do Prolog é o predicado, que é postulado verdadeiro. Um predicado consiste de uma cabeça e um número de argumentos.  • Linha 5 se lê: cachorro é um animal • Linha 6 se lê: joseépaideantonio

  12. 6. Consultas • Para recuperar informações de um programa lógico, usamos consultas. Uma consulta pergunta se uma determinado relacionamento existe entre objetos. Não Está na Base de Dados • Linha 19: cachorro é um animal? • Linha 20: gato é um animal? • Linha 21: Quem é animal?

  13. 7. Regras • O segundo tipo de predicado no Prolog é a regra, também chamada de "cláusula". • Ex: A luz está acesa se o interruptor estiver ligado. Obs: ‘ :- ’ significa ‘ SE ’ NomeRegra(Varivável(is) ) :- Condições .

  14. 8. Lista • Uma lista não é um tipo de dados à parte, mas sim definida por uma construção recursiva (usando o termo '.'/2): • o átomo [] é uma lista vazia; • se T é uma lista e H é um elemento, então o termo '.'(H, T) é uma lista.

  15. 8. Listas findall(Variável, Condição, Lista). Insere na Lista sem ordenar e com repetição. setof(Variável,Condicão,Lista). Insere na lista ordenadamente e sem repetir.

  16. 9. Predicados do Prolog

  17. 10. Exercícios • 10.1 Suponha os seguintes fatos para registrar a média destes alunos: nota(joao,5.0). nota(maria,6.0). nota(joana,8.0). nota(mariana,2.0). nota(pedro, -3). nota(antonio, 20). Construa regras para identificar o estado dos alunos quanto a: aprovado (de 7.0 a 10.0), recuperação (de 5.0 até menor que 7.0), reprovado (de 0.0 a menor que 5.0) e erro se nenhuma das faixas anteriores.

  18. Consultas: 10.1 Solução:

  19. 10.2 Faça uma Regra de nome subConj onde a mesma deve receber duas listas e indicar se a primeira é subconjunto da segunda ou não.

  20. 10.3 Suponha os seguintes fatos: Faça uma regra que determine os casais através da afinidade do gosto pelo filme. O nome da regra será afinidadeFilme que terá como parametros Homem e Mulher. Depois use a regra afinidadeFilme e faça a regra pessoasGeneroIguais que irá receber uma Lista de pessoas e um gênero, caso ao chamar a pessoa só seja passado por parametro o gênero a função retornará uma lista com todas as pessoas que gostam do mesmo gênero de Filme.

  21. Solução 10.3

  22. Consultas 10.3:

More Related