Agrego testing en Haskell y Prolog