Programación Declarativa Universidad de Málaga

Tamaño: px

Comenzar la demostración a partir de la página:

Download "Programación Declarativa Universidad de Málaga"

Gustavo Sáez Martin
hace 7 años
Vistas:

1 Programación Declarativa Universidad de Málaga 3. o de Ingeniería Técnica en Informática E.T.S.I. Informática Octubre de 2007 Ejercicios Para resolver los siguientes ejercicios puedes utilizar la igualdad (A == B) y desigualdad (A \== B) de términos. Ejercicio 1. Un restaurante ofrece menú del día formado por un primero, un segundo y postre. Representaremos las opciones del menú por los predicados primero/1, segundo/1 y postre/1; definidos por el siguiente conjunto de hechos: primero(ensalada). primero(sopa). primero(revuelto). segundo(chuleta). segundo(breca). segundo(pollo). postre(natillas). postre(flan). postre(cafe). Una comida está formada por cualquier elección de un primero, un segundo y un postre, lo que representaremos por el predicado comida/3: comida(x, Y, Z) :- primero(x), segundo(y), postre(z). Utiliza el predicado comida/3 para determinar las distintas comidas que puede servir el restaurante. Puedes predecir el orden en que se obtienen estas comidas? De qué depende este orden? Cómo obtendrías aquellas comidas en las que el segundo plato es breca? Define los predicados pescado/1 y carne/1 y modifica la definición de segundo/1 indicando que puede ser pescado o carne. Utiliza la versión modificada para determinar las comidas en las que el segundo plato es pescado. Ejercicio 2. Los invitados a una fiesta se representan con los predicados hombre/1 y mujer/1 que determinan su sexo. Por ejemplo: 1

2 hombre(alfredo). hombre(felipe). hombre(francisco). mujer(sonia). mujer(eva). mujer(carmen). Además, conocemos las bebidas preferidas de cada invitado definidas por el predicado bebe/2: bebe(alfredo, whisky). bebe(alfredo, ron_cola). bebe(felipe, cerveza). bebe(francisco, vino). bebe(sonia, malibu).... Añade tus propios invitados a la fiesta y sus bebidas favoritas y define un predicado pareja(x,y) que tenga éxito cuando X es un hombre e Y una mujer y tengan al menos una bebida favorita en común. Define también el predicado pareja2(x,y) que se satisface cuando X e Y tienen al menos dos bebidas favoritas en común. Ejercicio 3. Modifica el ejercicio anterior para reflejar los siguientes hábitos de bebida: Pepe bebe cualquier cosa que beba Alfredo Elena bebe cualquier cosa que beban Sonia o Felipe Juan bebe cualquier cosa Ejercicio 4. Un programa Prolog define las relaciones varon/1, mujer/1, padre/2 y madre/2 mediante hechos como los siguientes: varon(juan). varon(antonio). mujer(teresa). mujer(isabel). padre(juan, isabel). padre(juan, antonio). madre(teresa, isabel). madre(teresa, antonio). Extiende las definiciones anteriores para que representen al menos 4 generaciones de una familia y define los siguientes predicados: 2

3 progenitor(x,y) hija(x,y) hijo(x,y) abuela(x,y) abuelo(x,y) procrearon(x,y) primos(x,y) tio(x,y) sobrino(x,y) antepasado(x,y) descendiente(x,y) emparentados(x,y) Ejercicio 5. Queremos viajar por Andalucía usando un coche bastante antiguo e incómodo del que no nos fiamos. Por ello, decidimos que sólo podemos plantearnos un viaje de la provincia X a la provincia Y si éstas son fronterizas o si para llegar a ellas basta con atravesar una provincia. Figura 1: Mapa de Andalucía. Define un predicado viaje(x,y) que se satisface cuando es posible viajar de la provincia X a la provincia Y. Ejercicio 6. Considera el grafo dirigido acíclico de la figura 2. Siguiendo las ideas del ejemplo de la familia visto en clase, representa el grafo en Prolog y define un predicado conectados(x,y) que se satisface cuando los nodos X e Y están conectados. a b f e g c d h Figura 2: Un grafo dirigido acíclico. 3

4 Ejercicio 7. Sea el siguiente enunciado: Pedro padece gripe Pedro padece hepatitis Juan padece hepatitis María padece gripe Carlos padece intoxicación La fiebre es síntoma de gripe El cansancio es síntoma de hepatitis La diarrea es síntoma de intoxicación El cansancio es síntoma de gripe La aspirina suprime la fiebre El Lomotil suprime la diarrea Un fármaco alivia una enfermedad si la enfermedad tiene un síntoma que sea suprimido por el fármaco. Una persona debería tomar un fármaco si padece una enfermedad que sea aliviada por el fármaco. Representa el enunciado como un programa Prolog y utiliza el programa para responder las siguientes preguntas: qué dolencia tiene Pedro? Y María? Quién padece gripe? Qué síntomas presenta Pedro? Quién padece diarrea? Y quién está cansado? Hay algún fármaco que alivie a Pedro? Hay algún síntoma que compartan Juan y María? Ejercicio 8. Sea el siguiente enunciado: Bertoldo y Bartolo son rufianes. Romeo y Bertoldo, como su nombre indica, son nobles. Bartolo es un plebeyo. Gertrudis y Julieta son damas. Julieta es hermosa. 4

5 Los plebeyos desean a cualquier dama, mientras que los nobles sólo a aquellas que son hermosas. Los rufianes, para satisfacer sus instintos, raptan a las personas a las que desean. Representa el enunciado como un programa Prolog y utiliza el programa para responder las siguientes preguntas: Qué noble es un rufián? A quién podría raptar Romeo? Quién puede raptar a Julieta? Quién rapta a quién? A quién desea Bartolo? Y Romeo? Qué hermosa dama es deseada por Bartolo? 5

Documentos relacionados

Primera práctica de Temas Avanzados en Ingeniería Informática (I)-Lógica Curso

Primera práctica de Temas Avanzados en Ingeniería Informática (I)-Lógica Curso 2005-2006 1. Fecha de entrega La fecha límite de entrega será el 13 de Marzo (Lunes) hasta las 20:00 horas. 2. Objetivo El