Speedup of Logic Programs by Binarization and Partial Deduction

Jan Hruza, Petr Stepanek

Binary logic programs can be obtained from ordinary logic programs by a binarizing transformation. In most cases, binary programs obtained this way are less efficient than the orig…