Bounded Nondeterminism of Logic Programs