Moreover, logic-based program transformation techniques can also be used to transform logic programs into logically equivalent programs that are more efficient.
Штавише, технике програмске трансформације логичке основе се такође могу користити за трансформацију логичких програма у логички еквивалентне програме који су ефикаснији.