Enviar por SMS: Explanation-Based Transformation of Logic Programs