Diferencias

Muestra las diferencias entre dos versiones de la página.

--- introalg:taller09_soluciones [2009/04/19 20:11] – laura
+++ introalg:taller09_soluciones [2018/08/10 03:03] (actual) – editor externo 127.0.0.1
@@ Línea 80: / Línea 80: @@
 cuñado(X,Y) :- hermano(X,Z), pareja(Z,Y).
 cuñada(X,Y) :- hermana(X,Z), pareja(Z,Y).
-suegra(X,Y) :- hijo(Z,X), madre(Y,Z).
+suegra(X,Y) :- madre(X,Z), pareja(Y,Z).
-suegro(X,Y) :- hijo(Z,X), padre(Y,Z).
+suegro(X,Y) :- padre(X,Z), pareja(Y,Z).
 </code>
@@ Línea 102: / Línea 102: @@
 </code>
-¿Cómo sería un programa para recomendar amigos en una red social tipo //facebook//?
+====ejercicios de haskell, 13/04/09====
-¿Cómo podemos hacer un programa **no muy largo** que, dado un animal, nos diga si es ovíparo o vivíparo, si vive en la tierra, en el agua o en el aire, si come carne o vegetales, etc.? Traten de usar generalizaciones del tipo ''si es mamífero, entonces...''. En esta aproximación, cómo tratarían excepciones como "delfín" o "guppi"?
+  * ''ordena :: (Int,Int) -> (Int,Int)'' que, dados dos enteros, los ordena de  menor a mayor.
+<code>
+ordena :: (Int,Int) -> (Int,Int)
+ordena (x,y) |   x < y    = (x,y)
+             |   x > y    = (y,x)
+             |   x == y   = (x,y)
+</code>
+<code>
+ordena' :: (Int,Int) -> (Int,Int)
+ordena' (x,y) |   x <= y    = (x,y)
+              |   x >  y    = (y,x)
+</code>
+  * ''ambospositivos :: Int -> Int -> Bool'', que dados dos enteros devuelve ''True'' si los dos son positivos.
+<code>
+ambospositivos :: Int -> Int -> Bool
+ambospositivos x y | x >= 0 && y >= 0 = True
+                   | x >= 0 || y < 0  = False
+</code>
+<code>
+ambospositivos'' :: Int -> Int -> Bool
+ambospositivos'' x y = x >= 0 && y >= 0
+</code>
+  * ''edad :: (Int, Int, Int) -> (Int, Int, Int) -> Int'' que dadas dos fechas indica los años transcurridos entre ellas. Por ejemplo edad (20,10,1968) (30,4,1987) = 18.
+<code>
+edad :: (Int, Int, Int) -> (Int, Int, Int) -> Int
+edad (diaN,mesN,anioN) (diaA,mesA,anioA) | (mesN < mesA) || (mesN == mesA && diaN < diaA) = (anioA - anioN) - 1
+                                         | otherwise                                      = anioA - anioN
+</code>
+  * ''cabeza :: [a] --> a'', que devuelve el primer elemento de una lista.
+<code>
+cabeza :: [a] -> a
+cabeza (x:_) = x
+cabeza []     = error "la lista es vacía y por lo tanto no tiene cabeza!"
+</code>
+  * ''cola :: [a] --> [a]'', que devuelve toda la lista menos el primer elemento.
+<code>
+cola :: [a] -> [a]
+cola (_:xs) = xs
+cola []     = []
+</code>
+  * Definición del área de un prisma.
+<code>
+area :: Int -> Int -> Int -> Int
+area alto ancho fondo = 2*frente + 2*lado + 2*tapa
+  where
+    frente = alto * ancho
+    lado   = alto * fondo
+    tapa   = ancho * fondo
+</code>
+  * ''esVaciaOPrimer0 :: [Int] -> Bool'' que dada una lista decida si es vacía o bien su primer elemento es 0.
+<code>
+esVaciaOPrimer0 :: [Int] -> Bool
+esVaciaOPrimer0 []                = True
+esVaciaOPrimer0 (x:_) | x == 0    = True
+                      | otherwise = False
+</code>
+<code>
+esVaciaOPrimer0' :: [Int] -> Bool
+esVaciaOPrimer0' []    = True
+esVaciaOPrimer0' (x:_) = x == 0
+</code>
+  * ''segundoEsSegundo :: (Int,Int) -> [Int] -> Bool'' que dada una tupla de enteros y una lista de enteros comprueba si el segundo elemento de la tupla es igual al segundo elemento de la lista.
+<code>
+segundoEsSegundo :: (Int,Int) -> [Int] -> Bool
+segundoEsSegundo (_,x) (_:y:_) = x == y
+</code>
+  * ''recortaDia :: [Char] -> [Char]'' que dada una lista de caracteres, comprueba si las letras de la lista forman el nombre de un día de la semana, si es así, si el día no es del fin de semana, devuelven la primera letra solamente, en cambio, si el día es de fin de semana, devuelven el nombre del día completo. Ayuda: fíjense que el resultado siempre debe ser una lista de caracteres
+<code>
+recortaDia :: [Char] -> [Char]
+recortaDia x:xs | (x:xs) == "lunes" || (x:xs) == "martes" || (x:xs) == "miercoles" || (x:xs) == "jueves" || (x:xs) == "viernes" = [x]
+                | (x:xs) == "sabado" || (x:xs) == "domingo" = (x:xs)
+                | otherwise = error "el string de entrada no es un dia de la semana o tiene mayusculas o acentos"
+</code>
+====ejercicios de haskell, 20/04/09====
+''averaver :: (Int,Int,Int) -> (Int,Int,Int)'' que, dada una tresupla de enteros, si todos son positivos, invierte su orden, si todos son negativos, los cambia a positivos, y en cualquier otro caso, devuelve la misma tresupla.
+<code>
+averaver :: (Int,Int,Int) -> (Int,Int,Int)
+averaver x y z | x > 0 && y > 0 && z > 0 = (z,y,x)
+               | x < 0 && y < 0 && z < 0 = ((-x),(-y),(-z))
+               | otherwise               = (x,y,z)
+</code>
+''ordenaSiPositivos :: (Int,Int) -> (Int,Int)'', que ordena los números de una tupla de enteros si ambos son positivos, pero si son negativos los deja sin ordenar.
+<code>
+ordenaSiPositivos :: (Int,Int) -> (Int,Int)
+ordenaSiPositivos (x,y) | x > 0 && y > 0 && x <= y = (x,y)
+                        | x > 0 && y > 0           = (y,x)
+                        | otherwise                = (x,y)
+</code>
+o podemos colapsar los casos que tienen el mismo resultado:
+<code>
+ordenaSiPositivos' :: (Int,Int) -> (Int,Int)
+ordenaSiPositivos' (x,y) | x > 0 && y > 0 && x > y = (y,x)
+                         | otherwise               = (x,y)
+</code>
+====ejercicios de haskell, 27/04/09====
+''veintePorCiento :: [Float] -> [Float]'' que dada una lista de números  devuelve una lista con el 20% de cada elemento de la lista, y su generalización ''porCiento :: Float -> [Float] -> [Float]'' que dado un número //n// y una lista, devuelve el //n// por ciento de cada uno de los elementos de la lista.
+<code>
+veintePorCiento :: [Float] -> [Float]
+veintePorCiento []     = []
+veintePorCiento (x:xs) = 0.2*x : veintePorCiento xs
+</code>
+<code>
+porCiento :: Float -> [Float] -> [Float]
+porCiento n []     = []
+porCiento n (x:xs) = n/100*x : porCiento n xs
+</code>
+''multiplicar :: Int -> [Int] -> [Int]'' que dada un número //n// y una lista, multiplica cada uno de los elementos por //n//
+<code>
+multiplicar :: Int -> [Int] -> [Int]
+multiplicar n []     = []
+multiplicar n (x:xs) = n*x : multiplicar n xs
+</code>
+''soloPares :: [Int] -> [Int]'' que dada una lista de enteros devuelve una lista que contiene sólo los pares de la lista original.
+<code>
+soloPares :: [Int] -> [Int]
+soloPares [] = []
+soloPares (x:xs) | mod x 2 == 0 = x : soloPares xs
+                 | otherwise    =     soloPares xs
+</code>
+''ningunFalse :: [Bool] -> [Bool]'' que dada una lista de booleanos devuelve una lista sin ningún booleano False.
+<code>
+ningunFalse :: [Bool] -> [Bool]
+ningunFalse [] = []
+ningunFalse (x:xs) | x == True = x : ningunFalse xs
+                   | otherwise =     ningunFalse xs
+</code>
+''soloMultiplos3 :: [Int] -> [Int]'', que dada una lista de enteros devuelve una lista que contiene sólo los múltiplos de 3 de la lista original.
+<code>
+soloMultiplos3 :: [Int] -> [Int]
+soloMultiplos3 [] = []
+soloMultiplos3 (x:xs) | mod x 3 == 0 = x : soloMultiplos3 xs
+                      | otherwise    =     soloMultiplos3 xs
+</code>
+''productoria :: [Int] -> Int'' que dada una lista devuelve el producto de sus elementos.
+<code>
+productoria :: [Int] -> Int
+productoria [] = 1
+productoria (x:xs) = x * productoria xs
+</code>
+''longitud :: [Int] -> Int'' que dada una lista de enteros computa su largo.
+<code>
+longitud :: [Int] -> Int
+longitud [] = 0
+longitud (x:xs) = 1 + longitud xs
+</code>
+''sonTodos0 :: [Int] -> Bool'', que dada una lista devuelve True si todos los elementos de la lista son 0.
+<code>
+sonTodos0 :: [Int] -> Bool
+sonTodos0 [] = True
+sonTodos0 (x:xs) = x == 0 && sonTodos0 xs
+</code>
+''todos0y1 : [Int] -> Bool'' que dada una lista devuelve //True// si ésta consiste sólo de 0s y 1s.
+<code>
+todos0y1 :: [Int] -> Bool
+todos0y1 [] = True
+todos0y1 (x:xs) = ( x==0 || x==1 ) && todos0y1 xs
+</code>
+''paratodo :: a -> [a] -> Bool'', que dado un elemento y una lista, devuelve True si todos los elementos de la lista son iguales al elemento que damos como primer argumento. Fíjense que se trata de una generalización de los ejercicios anteriores.
+<code>
+paratodo :: Eq a => a -> [a] -> Bool
+paratodo e [] = True
+paratodo e (x:xs) = e == x && paratodo e xs
+</code>
+Fíjense que tenemos que añadir a la signatura el preámbulo ''Eq a =>'', que indica que la variable de tipo ''a'' no puede representar a un tipo cualquiera, sino a un tipo que pertenezca a los tipos de clase ''Eq'', que son los que se pueden comparar.
+''hayun0 :: [Int] -> Bool'', que dada una lista devuelve True si hay algún 0 en la lista.
+<code>
+hayun0 :: [Int] -> Bool
+hayun0 [] = False
+hayun0 (x:xs) = x == 0 || hayun0 xs
+</code>
+''existe :: a -> [a] -> Bool'', que dado un elemento y una lista, devuelve True si el elemento está en la lista. Fíjense que se trata de una generalización del ejercicio anterior.
+<code>
+existe :: a -> [a] -> Bool
+existe e [] = False
+existe e (x:xs) = e == x || existe e xs
+</code>
+Escribir la función que calcula la Sucesión de Fibonacci, ''fib :: Int -> Int'', que se define así: //fib (n+2) = fib (n+1) + fib n//.
+<code>
+fib :: Int -> Int
+fib 0 = 0
+fib 1 = 1
+fib n+2 = fib (n+1) + fib n
+</code>
+''sumaPares :: [(Int, Int)] -> Int'', que dada una lista de pares de números, devuelve la sumatoria de todos los números de todos los pares.
+<code>
+sumaPares :: [(Int, Int)] -> Int
+sumaPares [] = 0
+sumaPares ((x,y):xs) = x + y + sumaPares xs
+</code>
+''repetir :: Int -> a -> [a]'' que dado un elemento lo repite n veces, dando como resultado una lista que contiene las repeticiones.
+<code>
+repetir :: Int -> a -> [a]
+repetir 0 a = []
+repetir n a = a : repetir (n-1) a
+</code>
+''esMultiploLista :: Int -> [Int] -> [Bool]'' que dado un entero //n// y una lista de enteros //xs// devuelve una lista de booleanos que indica si //n// es múltiplo de cada uno de los elementos de la lista //xs//.
+<code>
+esMultiploLista :: Int -> [Int] -> [Bool]
+esMultiploLista n [] = []
+esMultiploLista n (x:xs) = mod n x == 0 : esMultiploLista n xs
+</code>
+=== Miscelánea un poco más complicada ===
+''sumaPares :: [Int] -> Int'', que suma sólo los elementos pares de una lista.
+<code>
+sumaPares :: [Int] -> Int
+sumaPares [] = 0
+sumaPares (x:xs) | mod x 2 == 0 = x + sumaPares xs
+                 | otherwise    =     sumaPares xs
+</code>
+<code>
+sumaPares' :: [Int] -> Int
+sumaPares' xs = sumatoria (soloPares xs)
+</code>
+''estudiantesMayores35 :: [(String,Int,Int,Int)] -> Int'', que dada una lista de cuatro-uplas //(String,Int,Int,Int)// que se corresponden con //(Nombre,Año-Nacimiento,Año-Inicio-Estudios,Año-Fin-Estudios)//, devuelve la cantidad de estudiantes que fueron mayores de 35 años en algún momento en el transcurso de sus estudios.
+<code>
+estudiantesMayores35 :: [(String,Int,Int,Int)] -> Int
+estudiantesMayores35 [] = 0
+estudiantesMayores35 ((n,nac,ini,fin):xs) | (fin - nac) > 35 = 1 + estudiantesMayores35 xs
+                                          | otherwise        =     estudiantesMayores35 xs
+</code>
+<code>
+estudiantesMayores35' :: [(String,Int,Int,Int)] -> Int
+estudiantesMayores35' xs = longitud (mayores35 xs)
+mayores35 :: [(String,Int,Int,Int)] -> [String]
+mayores35 [] = []
+mayores35 ((n,nac,ini,fin):xs) | (fin - nac) > 35 = n : estudiantesMayores35 xs
+                               | otherwise        =     estudiantesMayores35 xs
+</code>
+''listaMayorQue :: Int -> [[a]] -> Bool'', que dado un número //n// y una lista de listas, devuelve True si todas las listas de la lista tienen por lo menos //n// elementos.
+<code>
+listaMayorQue :: Int -> [[a]] -> Bool
+listaMayorQue n [] = True
+listaMayorQue n (x:xs) = n <= (longitud x) && listaMayorQue n xs
+</code>
+''totalSueldos :: [Float] -> Float'', que dada una lista con el monto de cada uno de los sueldos que paga una empresa, aplica una suba del 5% a todos los sueldos y devuelve el monto total que gastará la empresa en sueldos.
+<code>
+totalSueldos :: [Float] -> Float
+totalSueldos [] = 0
+totalSueldos (x:xs) = porCiento 5 x + x + totalSueldos xs
+</code>
+<code>
+totalSueldos' :: [Float] -> Float
+totalSueldos' xs = sumatoria (incrementaPorCiento 5 xs)
+incrementaPorCiento :: Float -> [Float] -> [Float]
+incrementaPorCiento n [] = []
+incrementaPorCiento n (x:xs) = porCiento n x + x : incrementaPorCiento n xs
+</code>
+''impuestoLujo :: [(String,Float)] -> [(String,Float)]'', que dada una lista de tuplas //(Producto, Precio)//, aplica un impuesto del 21% extra a todos los productos que salen más de 10000 pesos.
+<code>
+impuestoLujo :: [(String,Int)] -> [(String,Int)]
+impuestoLujo [] = []
+impuestoLujo ((n,x):xs) | x > 10000 = (n,(porCiento 21 x + x)) : impuestoLujo xs
+                        | otherwise = (n,x) : impuestoLujo xs
+</code>
+''cuentaInteresantes :: [(String,Bool)] -> Int'', que cuenta la cantidad de libros interesant es que hay en una biblioteca. Los libros están representados mediante una tupla //(String, Bool)//, que contiene el título del libro en el primer elemento y en el segundo el elemento contiene True si el libro es interesante y False si no lo es.
+<code>
+cuentaInteresantes :: [(String,Bool)] -> Int
+cuentaInteresantes [] = 0
+cuentaInteresantes ((x,y):xs) | y == True = 1 + cuentaInteresantes xs
+                              | otherwise =     cuentaInteresantes xs
+</code>
+<code>
+cuentaInteresantes' :: [(String,Bool)] -> Int
+cuentaInteresantes' xs = sumatoria (interesantes xs)
+interesantes :: [(String,Bool)] -> [String]
+interesantes [] = []
+interesantes ((x,y):xs) | y == True = x : cuentaInteresantes xs
+                        | otherwise =     cuentaInteresantes xs
+</code>
+''edadPromedio :: [(String,Int)] -> Int'', que dada una lista de pares //(nombre,edad)//, retorna el promedio de edad de las personas.
+<code>
+edadPromedio :: [(String,Int)] -> Int
+edadPromedio xs = (sumatoriaSegundo xs) / (longitud xs)
+sumatoriaSegundo :: [(String,Int)] -> Int
+sumatoriaSegundo [] = 0
+sumatoriaSegundo ((x,y):xs) = y + sumatoriaSegundo xs
+</code>
+====ejercicios de haskell, 5/05/09====
+A partir de la siguiente base de conocimiento en prolog, crear las reglas necesarias para que el intérprete nos diga si una persona alérgica a la frutilla puede comer helado de frutilla:
+<code>
+esAlérgico(pepe,kiwi).
+esAlérgico(juan,frutilla).
+esAlérgico(maría,melocotón).
+tiene(helado,Y) :- helado(Y).
+tiene(torta,Y) :- torta(Y).
+</code>
+Creamos la regla:
+<code>
+puedeComer(X,Y) :-
+     ( esAlérgico(X,Z) , not(tiene(Y,Z)) ) ,
+     ( not(esAlérgico(X,W)) , tiene(X,W) ).
+</code>
+A partir de la siguiente base de conocimiento en prolog, crear las reglas necesarias para que el intérprete nos diga qué alimento puede comer cada animal:
+<code>
+herbívoro(vaca).
+herbívoro(oveja).
+carnívoro(león).
+hortaliza(tomate).
+hortaliza(zanahoria).
+fruta(manzana).
+pescado(besugo).
+carne(salchicha).
+fideos(spaghetti).
+</code>
+Creamos las reglas:
+<code>
+planta(X) :- hortaliza(X) ; fruta(X) ; fideos(X).
+animal(X) :- carne(X) ; pescado(X) ; herbívoro(X) ; carnívoro(X).
+come(X,Y) :-
+      ( herbívoro(X) , planta(Y) ) ;
+      ( carnívoro(X) , animal(Y) ) .
+</code>
+''soloEntre0y9 :: [Int] -> [Int]'', que dada una lista de enteros devuelve una lista que contiene sólo aquellos miembros de la lista original mayores o iguales que 0 y menores o iguales que 9.
+<code>
+soloEntre0y9 :: [Int] -> [Int]
+soloEntre0y9 [] = []
+soloEntre0y9 (x:xs) | 0 <= x && x <= 9 = x : soloEntre0y9 xs
+                    | otherwise        =     soloEntre0y9 xs
+</code>
+''sumatoriaEsPar:: [Int] -> Bool'', que dada una lista de enteros, suma cada uno de sus elementos y devuelve True si el resultado es par y False si es impar.
+<code>
+sumatoriaEsPar :: [Int] -> Bool
+sumatoriaEsPar xs = mod (sumatoria xs) 2 == 0
+</code>
+''cuantos0 :: [Int] -> Int'', que dada una lista de enteros devuelve un entero con la cantidad de números 0 que hay en la lista original.
+<code>
+cuantos0 :: [Int] -> Int
+cuantos0 xs = longitud (solo 0 xs)
+solo :: Eq a => a -> [a] -> [a]
+solo e [] = []
+solo e (x:xs) | e == x    = x : solo e xs
+              | otherwise =     solo e xs
+</code>
+''paresHasta :: Int -> [Int]'', que dado un número devuelve la lista de pares que hay desde 0 hasta ese número.
+<code>
+paresHasta :: Int -> [Int]
+paresHasta n = paresHasta' n 0
+paresHasta' :: Int -> Int -> [Int]
+paresHasta' n m | n <= m    = []
+                | otherwise = m : paresHasta' n (m+2)
+</code>
+===Ejercicios de recursión en dos argumentos===
+''iguales :: Eq a => [a] -> [a] -> Bool'' que decide si dos listas son iguales.
+<code>
+iguales :: Eq a => [a] -> [a] -> Bool
+iguales [] [] = True
+iguales (x:xs) (y:ys) = x == y && iguales xs ys
+</code>
+''encuentraEstafador' :: [Int] -> [Int] -> [Int]'', que opera sobre dos listas **ordenadas de menor a mayor**, y aprovecha este hecho para recorrerlas una sola vez.
+<code>
+encuentraEstafador' :: [Int] -> [Int] -> [Int]
+encuentraEstafador' [] []     = []
+encuentraEstafador' [] (y:ys) = []
+encuentraEstafador' (x:xs) [] = []
+encuentraEstafador' (x:xs) (y:ys) | x > y  = encuentraEstafador' (x:xs) ys
+                                  | x < y  = encuentraEstafador' xs (y:ys)
+                                  | x == y = x : encuentraEstafador' xs ys
+</code>
+<code>
+encuentraEstafador'' :: [Int] -> [Int] -> [Int]
+encuentraEstafador'' (x:xs) (y:ys) | x > y  = encuentraEstafador'' (x:xs) ys
+                                   | x < y  = encuentraEstafador'' xs (y:ys)
+                                   | x == y = x : encuentraEstafador'' xs ys
+encuentraEstafador'' _ _ = []
+</code>
+====ejercicios de haskell, alto orden ====
+''cuantosCumplen :: (Int -> Bool) -> [Int] -> Int'', que dado un predicado //p// y una lista de enteros //xs//, cuenta cuántos elementos de la lista cumplen con //p//.
+<code>
+cuantosCumplen :: (Int -> Bool) -> [Int] -> Int
+cuantosCumplen p [] = 0
+cuantosCumplen p (x:xs) | p x       = 1 + cuantosCumplen p xs
+                        | otherwise =     cuantosCumplen p xs
+</code>
+<code>
+cuantosCumplen' :: (Int -> Bool) -> [Int] -> Int
+cuantosCumplen' p xs = sumatoria (filter p xs)
+</code>
+==== ejercicios de haskell 18/05/2009: aplicando generalizaciones ====
+Redefinir todos los ejercicios recursivos en listas propuestos en las clases anteriores aplicando las generalizaciones ''filter'', ''map'' y ''foldr''. En algún caso no es posible aplicar estas generalizaciones.
+==== ejercicios de prolog 18/05/2009: más recursividad ====
+  * Definan una función que determine si Clara es mayor que Elena, dada la siguiente base de conocimiento:
+<code>
+mayor(clara,esteban).
+mayor(esteban,paula).
+mayor(paula,marcos).
+mayor(marcos,elena).
+</code>
+<code>
+mayorQue(X,Y) :- mayor(X,Y).
+mayorQue(X,Y) :- mayor(X,Z) , mayorQue(Z,Y).
+</code>
+  * Tenemos una lista de las conexiones por tren entre pares de ciudades, por ejemplo ''conectadas(Tarragona,Barcelona). ''. ¿Cómo sería un programa que nos ayudara a saber si podemos llegar de una ciudad a otra, es decir, si existe una lista de conexiones que nos lleve de una ciudad a otra, o bien eso es imposible? La solución, en la [[http://www.cs.famaf.unc.edu.ar/wiki/doku.php?id=introalg:taller09_8#conexion_entre_dos_ciudades|clase 8]].
+==== ejercicios sobre la vida real 1/06/2009 ====
+Encontrarán una posible solución al problema de recomendar amigos en una red social tipo //facebook// en la [[http://www.cs.famaf.unc.edu.ar/wiki/doku.php?id=introalg:taller09_9#los_amigos_de_mis_amigos|clase 9]].
+También damos una posible solución al problema de calcular el porcentaje de estudiantes que aprueban o promocionan la materia en la [[http://www.cs.famaf.unc.edu.ar/wiki/doku.php?id=introalg:taller09_9#calculos_numericos_de_bases_de_datos|clase 9]].
+  * Comprobar si podemos cocinar un determinado platillo dados los ingredientes necesarios para el platillo y los ingredientes que tenemos en la heladera. Se puede ampliar con los utensilios, las técnicas, e implicaciones entre ellos (p.ej., si tenemos que usar la técnica "montar a punto de nieve" necesitamos el utensilio "batidora").
+<code>
+ingredientes(tortilla,[huevos,papas,cebolla,sal,aceite,pimienta]).
+ingredientes(papafrita,[papas,aceite,sal]).
+ingredientes(huevofrito,[huevos,aceite,sal]).
+ingredientes(pizza,[prepizza,salsa,queso]).
+ingredientes(asado,[carne]).
+ingredientes(crema,[leche,huevos,azúcar,maicena,canela]).
+tengo(sal).
+tengo(azúcar).
+tengo(pimienta).
+tengo(canela).
+tengo(huevos).
+tengo(leche).
+tengo(queso).
+tengo(maicena).
+puedoCocinar(Platillo) :-
+   ingredientes(Platillo,Ingredientes) ,
+   tengoTodos(Ingredientes).
+tengoTodos([]).
+tengoTodos([I|Ingredientes]) :- tengo(I) , tengoTodos(Ingredientes).
+</code>
+  * Crear un sistema de alertas que cuando se consume un insumo, chequea en la base de datos cuánta reserva queda de ese insumo y, si la reserva está por debajo de un mínimo, devuelve un mensaje diciendo que hay que comprar más de ese insumo.
+<code>
+queda(jeringas,8).
+queda(vendas,20).
+queda(curitas,30).
+minimo(jeringas,5).
+minimo(vendas,10).
+minimo(curitas,20).
+bajoMinimo(Insumo,Cantidad) :-
+  queda(Insumo,Reserva) ,
+  minimo(Insumo,Minimo) ,
+  (Reserva - Cantidad) =< Minimo .
+</code>
+  * Hacer un programa **no muy largo** que, dado un animal, nos diga si es ovíparo o vivíparo, si vive en la tierra, en el agua o en el aire, si come carne o vegetales, etc. Tratar excepciones como "delfín" (mamífero marino), "nutria" (mamífero de agua dulce) o "guppi" (pez vivíparo).
+<code>
+mamifero(vaca).
+mamifero(delfín).
+mamifero(nutria).
+acuatico(delfín).
+acuatico(nutria).
+pez(trucha).
+pez(guppi).
+viviparo(guppi).
+terrestre(X) :- mamifero(X) , not(acuatico(X)).
+acuatico(X) :- pez(X).
+viviparo(X) :- mamifero(X).
+oviparo(X) :- pez(X) , not(viviparo(X)).
+</code>
+==== ejercicios de recursividad clásicos 1/06/2009 ====
+El problema del máximo común divisor se soluciona muy fácilmente si por azar sabemos que hay una recetita maravillosa que dice así: dados dos números, si uno es divisor del otro, entonces ese será el máximo común divisor. Si no, se resta el número menor al mayor y volvemos a comprobar si uno es divisor del otro. Si no, se resta el menor al mayor, y así hasta llegar a algún caso en el que uno de los dos números sea divisor del otro.
+<code>
+mcd :: Int -> Int -> Int
+mcd a b | mod a b == 0 = b
+        | mod b a == 0 = a
+        | otherwise    = mcd (min a b) ((max a b) - (min a b))
+</code>
+El problema de las n reinas (perdón, no eran 9 :-} ). Está muy bien explicado en el [[http://programacionilogica.wordpress.com/|blog de programación lógica]] de un estudiante de informática, tanto [[http://programacionilogica.wordpress.com/2008/02/11/implementacion-del-problema-de-las-n-reinas-en-haskell-programacion-funcional/|para haskell]] como [[http://programacionilogica.wordpress.com/2008/02/07/implementacion-del-problema-de-las-n-reinas-en-prolog/|para prolog]].
-Tenemos una lista de las conexiones por tren entre pares de ciudades, por ejemplo ''conectadas(Tarragona,Barcelona). ''. ¿Cómo sería un programa que nos ayudara a saber si podemos llegar de una ciudad a otra, es decir, si existe una lista de conexiones que nos lleve de una ciudad a otra, o bien eso es imposible? Primero, traten de hacer un programa que nos diga si podemos llegar de una ciudad a otra directamente o bien en dos o en tres pasos...
+El problema de misioneros y caníbales está bien explicado como caso particular de un problema de búsqueda en estas [[https://forja.rediris.es/docman/view.php/82/300/busqueda1.pdf|filminas sobre búsqueda]].