Universidade Federal de Uberlândia - UFU Faculdade de Computação - FACOM Lista de Exercícios de Programação Lógica.

Transcrição

1 Universidade Federal de Uberlândia - UFU Faculdade de Computação - FACOM Lista de Exercícios de Programação Lógica Conceitos Básicos Dica: Resolva todos os exercícios no papel e, somente quando estiverem prontos, implemente-os no computador. 1. Escreva cláusulas Prolog (fatos, regras, ou perguntas) que expressem as seguintes sentenças. Há mais de uma solução em alguns casos: O patinho é feio. Eu sou legal. Todo homem é mortal, exceto o Aquiles. João nasceu em Pelotas e Jean nasceu em Paris. Pelotas fica no Rio Grande do Sul. Paris fica na França. Só é gaúcho quem nasceu no Rio Grande do Sul. 2. Suponha a seguinte Base de Conhecimento em Prolog: cargo(tecnico, rogerio). cargo(tecnico, ivone). cargo(engenheiro, daniel). cargo(engenheiro, maria). cargo(engenheiro, oscar). cargo(engenheiro, tomas). cargo(engenheiro, ana). cargo(supervisor, luis). cargo(supervisor_chefe, sonia). cargo(secretaria_exec, laura). cargo(diretor, santiago). chefiado_por(tecnico, engenheiro). chefiado_por(engenheiro, supervisor). chefiado_por(analista, supervisor). chefiado_por(supervisor, supervisor_chefe). chefiado_por(supervisor_chefe, diretor). chefiado_por(secretaria_exec, diretor). (a) Escreva em linguagem natural as seguintes interrogações Prolog:?- chefiado_por(tecnico, X), chefiado_por(x,y).?- chefiado_por(tecnico, X), cargo(x,ivone), cargo(y,z).?- cargo(supervisor, X); cargo(supervisor, X).?- cargo(j,p), (chefiado_por(j,supervisor_chefe);chefiado_por(j, supervisor)).?- chefiado_por(p, diretor), \+(cargo(p, carolina)). (b) Mostre qual é a resposta encontrada pelo Prolog para cada uma interrogações do item anterior. 1

2 3. Considere as seguintes sentenças: Úrsula é bonita. Norberto é rico e bonito. Berta é rica e forte. Pierre é forte e bonito. Bruno é amável e forte. Todos os homens gostam de mulheres bonitas. Todos os homens ricos são felizes. Qualquer homem que gosta de uma mulher que gosta dele é feliz. Qualquer mulher que gosta de um homem que gosta dela é feliz. Berta gosta de qualquer homem que gosta dela. Úrsula gosta de qualquer homem que gosta dela, contanto que ele seja rico e amável ou bonito e forte. (a) Traduza as sentenças acima para Prolog. (b) Use Prolog para saber quem é feliz. (c) Para este problema específico, pense uma regra para adicionar à Base de Conhecimento, tal que todos são felizes. 4. Crie um banco de dados que contenha as seguintes informações: Nome do professor e disciplina que leciona. Exemplo: leciona(paulo, gsi010). Disciplina e horário. Exemplo: horario(gsi010, quarta, primeiro). Construa as consultas para responder: (a) Quais os horários do professor X? (b) Quais professores lecionam na terça? (c) Quais matérias o professor X leciona no primeiro horário? 5. O cardápio de um restaurante consta de primeiro prato, prato principal, sobremesa e seus respectivos preços. Em Prolog poderíamos escrever uma base de conhecimento da seguinte forma: primeiro_prato(salada_palmito,2.0). prato_principal(peixe, 4.6). sobremesa(salada_frutas, 2.0). Escreva a regra cardapio(primprato,pratoprinc,sobr,min, Max) tal que, dados os valores Min e Max (que representam a menor e a maior quantia de dinheiro que o freguês quer gastar, respectivamente), o programa apresenta os possíveis cardápios. 6. Os seguintes termos unificam? Caso negativo, justifique. Caso afirmativo, qual a unificação de todas as variáveis??- X=maria, Y=X, Z=nome(Y).?- carro(camaro, Cor) = cor(amarelo). 2

3 ?- X=estuda(ana,Y), Y=livro(prolog).?- gosta(ana,julio)=gosta(x,ana).?- X=joga(tfc,W), Y=X.?- g(f(x,g(z))) = Y.?- g(f(b),m(y)) = g(f(y),z).?- Y = f(a,z).?- X = soma(3+2).?- Z = 5, X is 2+2+Z.?- f(x, X) = f(a,b).?- f(x, a(b,c)) = f(z, a(z,c)).?- X=ganha(mario,Z), X=Y,Z=2500.?- f(a, g(x, Y)) = f(x, Z), Z = g(w, h(x)).?- p(_, 2, 2) = p(1, Y, _).?- X is 2+1+4*2+6/3, Y is mod(x, 10).?- conta(200,1000)=conta(_,x), juros(400,100)=juros(y,_), Total is X + Y. 7. Dado o seguinte programa Prolog, responda às questões: q(c). q(b). r(b,1). r(b,2). 3

4 r(b,3). p(x,y) :- q(x), r(x,y), Y > 2. p(c,4). pp(x,y) :- q(x), r(x,y). pp(c,4). (a) Mostre a primeira resposta para a pergunta?- p(a,b). (b) Mostre a segunda resposta para o pergunta do item anterior, ou seja, a resposta se digitarmos ; (c) Desenhe a árvore de busca para a primeira pergunta. 8. Considere o seguinte programa Prolog: a(f,g). a(1,_a). a(n,g). b(x,h). b(f,f). d(a,b) :- a(a,b). e(a,b) :- a(b,g),b(a,a). m(a,b) :- e(a,b),a(a,y). Qual a primeira resposta encontrada pelo Prolog para cada uma das seguintes perguntas? Desenhe a árvore de busca até a primeira resposta.?- d(y,g).?- e(b,a).?- m(f,f). 9. Considere as seguintes estruturas, para representação de circunferências (raio e coordenadas do centro): ponto(x,y) circunferencia(r, ponto(x,y)) Crie predicados para obter as seguintes informações: (a) Distância D entre os centros de duas circunferências. (b) Classificação de duas circunferências: Circunferências Tangentes Externas, se D = R1 + R2 Circunferências Tangentes Internas, se D = R1 R2 Circunferências Externas, se D > R1 + R2 Circunferências Secantes, se D < R1 + R2 Circunferências Internas, se D < R1 R2 Circunferências Concêntricas, se D = Considere as seguintes estruturas: 4

5 ponto(x,y) triangulo(ponto(x1,y1), ponto(x2,y2), ponto(x3,y3)) Crie predicados para obter as seguintes informações: (a) Distância D entre dois pontos. (b) Classificação de um triângulo: Isósceles, com três lados iguais. Equilátero, com dois lados iguais. Escaleno, com três lados diferentes. 5