The debug slicing of logic programs