Text this: Explanation-Based Transformation of Logic Programs