Explanation-based transformation of logic programs | lit.salon