1. familia

A continuación se presenta un programa Curry con información familiar

> data Persona = Ana   | Jose   | Pilar  | Emilio | Luis   | 
>                Seila | Tamara | Isabel | Manuel | Sergio

> marido Ana    = Jose
> marido Isabel = Manuel
> marido Pilar  = Emilio

> madre Sergio = Ana
> madre Seila  = Isabel
> madre Tamara = Isabel
> madre Jose   = Pilar
> madre Manuel = Pilar

> padre x = marido (madre x)

> abuelo x = padre (madre x)
> abuelo x = padre (padre x)

Compilar dicho programa y preguntar quién es el abuelo de Sergio

2. Otras preguntas

Realizar otras preguntas la base de conocimiento.

Las variables libres deben indicarse. Por ejemplo, para preguntar si hay algún padre, se debe escribir:

?- padre x where x free

Posibles preguntas:

• ¿Cuál es el padre de Seila?
• ¿Existe alguien que sea padre?
• ¿Existe algún abuelo?

Curry incluye el operador de igualdad =:= que establece una restricción que el sistema intenta resolver. De esa forma, para preguntar quiénes son los hijos de Manuel se puede preguntar

?- padre x =:= Manuel where x free

También es posible enlazar varias restricciones mediante el operador & que se cumple si se cumplen las dos restricciones. Por ejemplo, para preguntar si hay alguien que sea padre de Seila e hijo de Pilar podría escribirse:

?- padre Seila =:= x & madre x =:= Pilar where x free

Realizar las siguientes preguntas:

• ¿Hay alguien que sea padre de Manuel y de Jose?
• ¿Hay alguien que sea hijo de Jose y de Manuel?

3. hermana

Curry define un tipo de datos Success que incluye la constante success. Dicho tipo de datos puede utilizarse para definir expresiones que se cumplen.

Por ejemplo, el siguiente fragmento define quienes son hombres y quienes son mujeres

> esMujer Ana    = success
> esMujer Pilar  = success
> esMujer Seila  = success
> esMujer Tamara = success
> esMujer Isabel = success

> esHombre Jose   = success
> esHombre Emilio = success
> esHombre Luis   = success
> esHombre Manuel = success
> esHombre Sergio = success

Utilizando las definiciones anteriores podría definirse, por ejemplo:

> hermana x | madre x =:= madre y & esMujer x = y
>    where y free

• Preguntar si hay alguien que sea hermana de Seila
• Preguntar cuáles son las hermanas de Tamara

Añadir otras definiciones familiares como tío, suegro, cuñado, etc.

4. edad

• Añadir declaraciones que devuelvan la edad de cada una de las personas
• Construir una función que tome una lista de personas y devuelva la lista de edades de cada persona
• Construir una función que tome una lista de personas y devuelva la suma de sus edades.

5. Viaje

• Definir un tipo de datos que represente ciudades
• Definir una función que tome como argumento dos ciudades conectadas directamente por una carretera y devuelva la longitud de dicha carretera
• Definir una función que tome como argumento dos ciudades y devuelva la distancia de una a la otra sumando las distancias que haya entre las ciudades intermedias

6. nat

Los números naturales pueden definirse mediante el tipo de datos:

> data Nat = O      
>          | s Nat

Es posible definir la suma de números naturales como:

> suma O     y = y
> suma (s x) y = s (suma x y)     

• Preguntar cuál sería la suma de s (s O) y s (s O)
• Preguntar qué número x cumple que al sumar 2 y x devuelve 5

Construir una función que indique si un número natural es menor que otro

Construir una función que multiplique 2 números naturales

7. otros (Opcional)

Definir otros predicados aritméticos como:

• potencia x y devuelve x elevado a y
• menor x y se cumple si x es menor que y
• mcd x y devuelve el máximo común divisor de x e y
• etc.

8. pertenece

El siguiente predicado chequea si un elemento pertenece a una lista

> pertenece x (y:_)  = x =:= y
> pertenece x (_:ys) = pertenece x ys

• Preguntar si el elemento 2 pertenece a la lista [1,2,3,4].
• Preguntar si existe un elemento X que pertenezca a la lista [1,2,3,4]
• Preguntar si existe una lista ls que incluya al elemento 2

9. junta

La siguiente función permite juntar dos listas

> junta []     ys = ys
> junta (x:xs) ys = x : junta xs ys

• Utilizando dicho predicado, calcular parejas de listas que al concatenarse resulten en [1,2,3,4]
• Definir el predicado prefijo que se cumple si una lista es un prefijo de otra
• Definir el predicado sufijo que se cumple si una lista es un sufijo de otra
• Definir el predicado sublista que se cumple si una lista está incluida en otra

10. inserta

Definir una función inserta x xs que devuelva la lista resultante de insertar x en cualquier posición de xs

?-inserta 1 [2,3]

[1,2,3] | [2,1,3] | [2,3,1]

11. permutaciones

Definir una función perm xs que devuelve una lista que es una permutación de xs.

?-perm [1,2,3]

[1, 2, 3] | [2, 1, 3] |[2, 3, 1] | [1, 3, 2] | [3, 1, 2] | [3, 2, 1]