UNIVERSIDADE TECNOLÓGICA FEDERAL DO PARANÁ PROLOG PROF. CESAR A. TACLA UTFPR/CURITIBA

Transcrição

1 PR UNIVERSIDADE TECNOLÓGICA FEDERAL DO PARANÁ PROLOG 1

2 PROLOG: UTILIZAÇÃO A principal utilização da linguagem Prolog reside no domínio da programação simbólica, não-numérica, sendo especialmente adequada à solução de problemas, envolvendo objetos e relações entre objetos. (Palazzo, 1997) 2

3 PROLOG: UTILIZAÇÃO Seu uso evita que o programador descreva os procedimentos necessários para a solução de um problema, permitindo que ele expresse declarativamente apenas a sua estrutura lógica, através de fatos, regras e consultas (Palazzo, 1997) 3

4 PROLOG: ALGUMAS CARACTERÍSTICAS INTERESSANTES Representa uma implementação da lógica como linguagem de programação Permite a obtenção de respostas alternativas Representa programas e dados através do mesmo formalismo Suporta código recursivo e iterativo para a descrição de processos e problemas, dispensando os mecanismos tradicionais de controle, tais como while, repeat, etc; (Palazzo, 1997) 4

5 EXEMPLO INICIAL progenitor(maria, josé). progenitor(joão, josé). progenitor(joão, ana). progenitor(josé, júlia). progenitor(josé, íris). progenitor(íris, jorge). Motor de inferência?- progenitor(maria, josé). True 5

6 EXEMPLO INICIAL Fatos progenitor(maria, josé). progenitor(joão, josé). progenitor(joão, ana). progenitor(josé, júlia). progenitor(josé, íris). progenitor(íris, jorge). Motor de inferência consulta?- progenitor(maria, josé). True Resposta(s) 6

7 EXEMPLO INICIAL Respostas alternativas que satisfazem a consulta progenitor(maria, josé). progenitor(joão, josé). progenitor(joão, ana). progenitor(josé, júlia). progenitor(josé, íris). progenitor(íris, jorge). Motor de inferência?- progenitor(x, josé). X = maria; X = joão; False. 7

8 SWI PROLOG PRIMEIROS PASSOS 8

9 EXECUTAR NO LINUX 1. Abra um xterm 2. No xterm, swipl 3. No ambiente PROLOG tecle emacs 9

10 Exemplo em Lógica Proposicional Fatos e regras, mas fatos também são regras! %?- voa. titi. % titi eh uma proposicao verdadeira (fato) passaro :- titi. % regra voa :- passaro. % regra exlp-020-titi 10

11 Exemplo em Lógica Proposiciona Regras com vários antecedentes % E de uma menina? %?- menina. % estudanoprimeirograu. sexofeminino. crianca :- estudanoprimeirograu. menina :- sexofeminino, crianca. exlp menina 11

12 Exemplo em lógica proposicional Múltiplas respostas No exemplo anterior, acrescente mais um fato afirmando que a tal pessoa estuda no jardim de infância (além de estudar no 1º. grau). Faça o trace manual. Compare-o com o trace obtido automaticamente. exlp menina 12

13 SINTAXE constantes: em minúsculas Símbolos de variáveis: em MAIÚSCULAS predicados: em minúsculas 13

14 SWI PROLOG OPERADORES ARITMÉTICOS E RELACIONAIS 14

15 OPERADORES RELACIONAIS X = Y X e Y são iguais; X \= Y X e Y são diferentes; X < Y X é menor que Y; X > Y X é maior que Y; X =< Y X é menor ou igual a Y; X >= Y X é maior ou igual a Y. X =:= Y X e Y são iguais (p/ números); X =\= Y X e Y são diferentes (p/ números). 15

16 OPERADORES RELACIONAIS CUIDADOS?- 3 = Interpretação: o símbolo 3 é igual ao símbolo 2 + 1? FALSO?- 3 is ou 3 =:= Interpretação: o símbolo 3 é igual ao símbolo que resulta da operação 2 + 1? VERDADEIRO 16

17 ARITMÉTICOS Operadores aritméticos X+Y soma de X e Y; X Y diferença de X e Y; X * Y multiplicação de X por Y; X / Y divisão de X por Y; X mod Y resto da divisão de X por Y. Exemplo: X is 6 mod 4. Se teclar 6 mod 4 direto não funciona! 17

18 ATRIBUIÇÃO Atribuição de valores numéricos is :?- X is Negação de predicados: \+ not 18

19 PROGRAMAS BÁSICOS 19

20 PROGRAMAÇÃO BÁSICA Básico ex primeirospassosemprolog.txt Representação de fatos e regras ex regrasproducao-aprovado.pl ex comida.pl Modelos de LPO em PROLOG ex teoria-modelo.pl ex jogo-da-velha.pl ex coloracao-mapa.pl 20

21 PROGRAMAÇÃO RECURSIVIDADE ex expressividade-simpsons.pl ex recursividade-simpsons.pl ex mapaaciclico-sol.pl 21