5.4.2 Predicates for managing dicts
AllApplicationManualNameSummaryHelp

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. Acts according to the following below. Dict is either a dict or a list the can be converted into a dict. 
get_dict(Key, Dict, Value, NewDict, NewDict) :-
        get_dict(Key, Dict, Value),
        put_dict(Key, Dict, NewDict, NewDict).
ClioPatria (version V3.1.1-21-gb8003bb)