Did you know ... Search Documentation:
Predicate index/3
 index(+Hash, +Capacity, -Index) is nondet[private]
Generate candidate values for Index, starting from Hash mod Capacity, round tripping to 1 when Capacity is reached.