We describe a transformation system of logic programs implemented in lambdaProlog. It is based on transformations of program schemata that are higher-order constructs.
