Classes that perform transformations of logic programs.