Title: Explanation-based transformation of logic programs