Speedup of logic programs by binarization and partial deduction

Abstract

The paper is about transformations of logic programs with a goal to increase their computation efectivity. It describes nonstandard transformation, when the program is binarized and then specialized by partial deduction.