Create parcial.prolog