Cuttable Formulas for Logic Programming