Update parcial.prolog