Laboratorio 2. Formalizacin de las relaciones.

Ejecutar.

- Anotar todos los hechos y las reglas en el apartado de clauses.

- Realizar declaraciones necesarias para complementar el programa.
- Verificar el funcionamiento del programa elaborado con mnimamente 10
objetivos diferentes (simples, compuestos, sin y con variables).

Enunciados de problemas.

Problema 1.
Construir la base de datos en Turbo Prolog que describe relacines: padre(persona, persona) entre
dos personas del rbol genealgico, hombre(persona), mujer(persona) describiendo el sexo de las
personas relacionadas en el rbol. (INVENTAR EL ARBOL GENEALGICO).
A partir de los hechos desarrollados formular las reglas generales de:
- hermano(X,Y), que expresa que X es un hermano de Y;
- hermana(X,Y), que expresa que X es una hermana de Y;
- tia(X,Y), que expresa que X es una ta de Y;
- tio(X,Y), que expresa que X es un to de Y;
- sobrina(X,Y), que expresa que X es una sobrina de Y;
- sobrino(X,Y), que expresa que X es un sobrino de Y.

Nota: Un individuo no puede ser hermano ni hermana a s mismo

Problema 2.
Dados los siguientes enunciados:

1. Solamente las lunas orbitan alrededor de un planeta.

2. La Luna rbita alrededor de la Tierra.
3. Los planetas del sistema solar orbitan alrededor del Sol.
4. Venus y la Tierra son planetas del sistema solar.
5. El Sol es una estrella.
6. Toda estrella, luna o planeta es un cuerpo celeste.

Convierta las oraciones en un programa Prolog. Utilice el programa para responder a las siguientes
preguntas:
Quin rbita alrededor del sol? Es el sol un planeta? Cules son los cuerpos celestes?

Problema 3.

Para un cierto nmero de personas, la base de datos contiene hechos acerca de parejas de personas,
indicando si son hermanos, hermanas o matrimonio. Disear un predicado capaz de extraer una
relacin de parentesco poltico. En particular, hay que disear un predicado para cuados y
cuadas. Plantear todas las alternativas para las relaciones en cuestin.

Problema 4.

Una agencia matrimonial tiene un fichero de candidatos al matrimonio organizado segn las
declaraciones siguientes:
hombre(N,A,C,E)
mujer(N,A,C,E)
Donde N es el nombre de un hombre o una mujer; A su altura(alta, media, baja); C el color de su
cabello (rubio, castao, pelirrojo, negro) y E su edad (joven, adulta, vieja);
gusta(N,M,L,S) Que indica que a la persona N le gusta el gnero de la msica M
(clsica, pop, jazz), el gnero de literatura L (aventura, ciencia-ficcin, policaca), y practica el
deporte S (tenis, natacin, atletismo);
busca(N,A,C,E) Que expresa que la persona N, busca una pareja de altura A, con
cabello color C y edad E.
Se considera que dos personas X e Y de sexos diferentes son adecuadas si X conviene a
Y e Y conviene a X. Se dice que S conviene a Y si X conviene fsicamente a Y (la altura, edad y
color de cabello de Y son los que busca X) y si, adems, los gustos de X e Y en msica, literatura
y deporte coinciden.
Escribir un conjunto de hechos que representen el fichero de los candidatos (inventar los
hechos hombre, mujer, gusta, busca). Escribir las reglas que definan conviene_fisicamente(X,Y) y
las que definan tienen_igual_gusto(X,Y). Hacer deducir al programa qu parejas son adecuadas.