Enviar Registro por Correo electrónico: Logic-Based Program Synthesis and Transformation :