Prolog

Tarea 1.

Problema: Sean A y B dos matrices cuadradas de n x n con elementos que pertenecen al conjunto N = { 0, 1, 2, 3, ... }.
Realizar los siguiente dentro del estilo de laProgramación Lógica:
a) Sean A y B dos matrices cuadradas de n x n con elementos que pertenecen al conjunto N = { 0, 1, 2, 3, ... }.
Calcular C=A*B (la multiplicaciónde ambas matrices).
b) Sea C una matrix cuadrada de n x n con elementos que pertenecen al conjunto N = { 0, 1, 2, 3, ... }.
Calcular las matrices cuadradas A y Bde n x n con elementos que pertenecen al conjunto N = { 0, 1, 2, 3, ... }
tal que A*B=C (la factorización entera de de una matriz).
Fecha límite de entrega: Enero 10 del 2011.Tarea 2.

Problema: Sean A y B dos árboles binarios cuyos vértices están asociados al conjunto N = { 0, 1, 2, 3, ... }. Utilizando el
estilo de la Programación Lógica, encontrarel subárbol máximo (el que contenga mayor cantidad de nodos) que
sea igual en ambos árboles.
Fecha límite de entrega: Enero 10 del 2011.

Proyecto.

Problema: Sea A un conjunto novacío cualquiera. Considere las siguientes definiciones:
1. Una partición es un conjunto no vacío P(A) en donde cada elemento de P(A) es un subconjunto de A diferente alvacío, la unión de todos los elemntos de P(A) es igual a A y dados dos elementos cualesquiera de P(A) su
intersección es el conjunto vacío.
2. Sean P1 yP2 dos particiones del conjunto A. Decimos que P1 es mas fina que P2 (P1<P2) si todo elemento de
P1 es un subconjunto de algún elemento de P2.
3. Sean P1 y P2dos partidiones cualesquiera de A. El "meet" entre P1 y P2 es una partición Pm de A tal que
Pm<P1, Pm<P2 y no existe una partición P'm de A tal que P'm<P1, P'm<P2 y...