Buenas


Acá está el final resuelto de Paradigmas del 15/12/2014. Lo resolví supongo que esta todo bien. Si alguien quiere modificar algo y resubirlo esta en libertad de hacerlo

link del enunciado: Final-Paradigmas-2014-02-15
Problamente entre hoy y mañana subo el otro que está en la página.

Espero que alguno le sirva, saludos

La pregunta 1.b) la plantié de otra manera y llegó a la solución planteada en el ejercicio.

tieneTodoLoQueTiene1(PersonaA,PersonaB):- tiene(PersonaB,_),tiene(PersonaA,_),forall(tiene(PersonaB,X),tiene(PersonaA,X)).

Con la vos propusiste, al hacer la consulta, no obtengo la respuesta esperada:
?-tieneTodoLoQueTiene(A,B).
false.

idem de lo que puso Fedin lo arme con el forall y anduvo bien.

Saludos