Bounded nondeterminism of logic programs