Selective Bachtracking for Logic Programs