Vimos functores, polimorfismo y repasamos generadores e inversibilidad, not, forall.
Tenemos hechos, predicados, que relacionan individuos entre sí. Los individuos no se pueden descomponer.

Así, puedo tener en la base de datos diferentes ciudades (predicados aridad 1):

ciudad(caba).

ciudad(avellaneda).


Y diferentes habitantes de ciudades (predicados aridad 2):

habitante(laura, caba).

habitante(juan, caba).

habitante(pedro, avellaneda).


Pero qué pasa si de donde vive queremos saber más datos? Por ejemplo, queremos la dirección completa, que para una casa es la calle y número.

habitante(laura, casa(avIndependencia, 1234), caba).


Podemos consultar habitante(laura, Direccion) y nos responde, pero no es un hecho en sí mismo la dirección, no podemos consultar direccion(avIndependencia, 1234,Ciudad), ni tampoco consultar todas las direcciones posibles direccion(Calle, Nro, Ciudad).

En cambio, si une habitante vive en un departamento, la dirección tiene también piso y depto.

habitante(federico, departamento(avCordoba, 1545, 0, “Al fondo”), caba).

habitante(silvia, departamento(medrano, 444, 7, “H”), caba).

habitante(susana, departamento(medrano, 444, 7, “H”), caba).

habitante(gerardo, departamento(tucuman, 546, 11, “Portería”), caba).


Si una persona vive en el ámbito rural, la dirección es ruta y km:

habitante(roxana, rural(“RN 2”, 125)), buenosAires).

habitante(roxana, rural(“RP 305”, 45)), buenosAires).


Propuestas para ejercitar:

Armar predicados:
viveEnCasa/1 (dado un nombre de habitante, es verdadero si vive en depto)
viveEnDepto/1 (dado un nombre de habitante, es verdadero si vive en depto)
mismaCalleORuta/2 (dados 2 nombres de habitantes, es verdadero si viven en la misma calle o ruta)
vivenJuntes/2 (dados 2 nombres de habitantes, es verdadero si viven en la misma casa, dpto o casa rural)
Después del recreo hicimos el TP2 individual de lógico "Desigualdades" (link en página del curso).