Logic Program Transformation through Generalization Schemata

Programs can be classified according to their construction methodologies, such as di-vide-and-conquer, top-down decomposition, global search, and so on, or any composi-tion thereof. Informally, a program schema [2] is a template program with a fixed control and data flow, but without specific indications about the actual parameters or th