Did you know ... Search Documentation:
Predicate next_generation/0
 next_generation is det[private]
 current_generation(-G) is det[private]
Increment the generation count.