5.4.2 Predicates for managing dicts
All Application Manual Name SummaryHelp

Availability:built-in
[semidet]get_dict(+Key, +Dict, -Value, -NewDict, +NewValue)
Create a new dict after updating the value for Key. Fails if Value does not unify with the current value associated with Key. Dict is either a dict or a list the can be converted into a dict.

Has the behavior as if defined in the following way: 

get_dict(Key, Dict, Value, NewDict, NewValue) :-
        get_dict(Key, Dict, Value),
        put_dict(Key, Dict, NewValue, NewDict).
ClioPatria (version V3.1.1-51-ga0b30a5)