b_hash_update( +Key, -OldVal, +Hash, +NewVal )*
Update to the value associated with the ground term Key in table Hash to NewVal, and unify OldVal with the current value.