Buenas. Paso a dejar el final de pdep.

Para la parte de Haskell, puse que gracias a la evaluación diferida, mientras pueda encontrar a h dentro de la lista, la función termina.

Para la parte de objetos, yo lo encaré por el lado de crear una clase para el tipo de cliente, con subclases, y que se encarguen ahí de calcular el descuento, porque me pareció que estaba mal delegado que lo calculara el cliente mismo.
El error para evitar la compra de productos con saldo insuficiente se puede cambiar con una excepción.

Coincido con lo que hiciste, hice lo mismo.. En cuanto a logico, respondi que faltaban generadores en el predicado contrajo y en el estaSano lo resolvi mediante un forall en vez de calcular longitud de una lista.

Gracias por el aporte

Chicos, como estan?

Consulta, en la parte de prolog, dicen que el predicado contrajo no es inversible porque le faltan generadores. Que predicados generadores pusieron?

Gracias.

Un abrazo