Ejercicios de Answer Set Programming

usando DLV
Prof. Dr. Fernando Zacaras Flores
1.- Sean dos funciones f, g : N N , definidas de la siguiente manera:

f ( n ) = f ( n 1 ) + g( n )
f(1)=1
g(n)=g(n1)+2
g(1)=1

si n > 1
si n > 1

1a) Disee dos funciones recursivas para evaluar f y g para cualquier

entero dado n >0.
1b) Disee tambin una funcin recursiva que evale la siguiente funcin:
Z ( n ) = f ( 1 ) + f ( 2 ) + f ( 3 ) + ... + f ( n )
para cualquier entero dado n>0
2.- Disee una funcin recursiva exponente tal que dada la base y el exponente
como nmeros enteros devuelva su resultado. La base ser mayor que cero y el
exponente mayor o igual que cero
3.- Disear dos funciones recursivas que calculen si un nmero es par o impar.
4.- Disee una funcin que multiplique 2 ns con sumas sucesivas recursivas.
5.- Implemente una regla que imprima por pantalla los valores desde 1 hasta el
nmero introducido desde teclado por el usuario.
6.- Escribir un programa que liste todos los pares de enteros positivos que son la
suma de un nmero dado.
P.e.: 7 = 6 + 1, 5 + 2, 4 + 3
Nota: No se pueden repetir las parejas, por ejemplo, 6+1 y 1+6.
7.- Dado un grafo unidireccional calcular la suma del costo total de los arcos
definidos en l.
Ejem. Si tenemos el siguiente grafo definido por los arcos siguientes:
arc(a,b,12). arc(a,c,2). arc(b,c,22). arc(c,b,9). arc(c,d,17). arc(d,e,14).
arc(d,f,8). arc(f,g,2). arc(g,c,12). arc(b,h,9). arc(h,d,7). arc(h,e,11).
La suma de los costos de todos los arcos del grafo debe ser 125

8.- resolver el siguiente puzzle:

En una calle, hay 5 casas. Cada una es pintada con un color diferente. En cada
casa vive alguien que viene de un diferente pas. Cada uno tiene una mascota
favorita, una bebida favorita y una marca de cigarros favorita.
abcdefghiJklmn-

Nosotros sabemos que:

El ingls vive en la casa roja.
El perro pertenece al espaol
El de la casa verde toma caf.
El ucraniano toma t.
La casa verde esta a la derecha de la casa blanca.
El que fuma Old Gold entrena una bibora.
El que fuma Kool vive en la casa amarilla.
El que toma leche vive en la casa de en medio.
El noruego vive en la primer casa de la izquierda.
El fumador de Chesterfield tiene un zorro.
El fumador de Kool tiene un caballo.
El que fuma Gitanes toma vino.
El japons fuma Craven.
El noruego vive en la casa azul.
Quin tiene a la zebra?
Quin toma agua?

El algoritmo usa una bsqueda dirigida de restricciones.

9.- Definir el predicado potencia, que permita calcular: X^Y
Ejemplo. potencia(2,3,Z) entonces Z=8
10.- Definir el predicado para calcular la funcion recursiva siguiente:
n! = n * (n-1) * (n-2) * ... * (1)
11.- Definir el predicado recursivo que halle el mximo comn divisor de 2
nmeros
12.- Definir un predicado que genere tripletas de nmeros pitagricos es decir, el
procedimiento debe recibir solo tres variables y generar tripletas de nmeros que
cumplan con:
Z*Z = X*X + Y*Y
con X, Y y Z nmeros enteros
13.- Definir predicado que cuente los nodos de un grafo dado.

14.- Definir el predicado que resuelva el problema de las torres de Hanoi

15.- Definir el predicado que resuelva el problema de las jarras. Este consiste en lo
siguiente:
Se tienen dos jarras de agua, una de 4 litros y otra de 3 litros sin escala de
medicin. Se desea tener 2 litros de agua en la jarra de 4 litros. Las siguientes
operaciones son vlidas: llenar las jarras, tirar el agua de las jarras, pasar agua de
una jarra a otra.
16.- Defina un predicado que halle los elementos del tringulo de Pascal donde:
Cada elemento del tringulo de Pascal es la suma de los dos nmeros que hay
sobre l:

17.- Disear un predicado recursivo que calcule la siguiente funcin

Nota: Esta lista de ejercicios es obligatoria y deber entregarse el da 3 de Mayo

de 2013 en clase. La entrega de al menos 10 ejercicios resueltos de manera
correcta. Cada problema deber estar contenido en un archivo diferente,
conteniendo el cdigo y su documentacin correspondiente. Adems, todos los
archivos que vaya a entregar debern compactarse en uno solo (que ser el que
me entreguen) usando WINZIP O WINRAR.