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