Abstrakt
Binarization makes ordinary logic programs binary but decreases their efficiency. B-stratifiable programs are defined.
For these, binarization and partial deduction automatically produces programs with better efficiency than original programs.