Availability:built-in
[det]b_set_dict(+Key, 
!Dict, +Value)Destructively update the value associated with Key in Dict 
to
Value. The update is trailed and undone on backtracking. This 
predicate raises an existence error if Key does not appear in
Dict. The update semantics are equivalent to setarg/3 
and
b_setval/2.