comenzando con prolog