Supporting Transformations for the Partial Evaluation of Logic Programs