A.15 library(dicts): Dict utilities
All Application Manual Name SummaryHelp

Availability::- use_module(library(dicts)).(can be autoloaded)
Sourcemapdict(:Goal, +Dict)
mapdict(:Goal, ?Dict, ?Dict2)
mapdict(:Goal, ?Dict, ?Dict2, ?Dict3)
True when all dicts have the same set of keys and call(Goal, Key, V1, ...) is true for all keys in the dicts. At least one of the dicts must be instantiated.
Errors
- instantiation_error if no dict is bound
- type_error(dict, Culprit) if one of the dict arguments is not a dict.
- domain_error(incompatible_dict, Culprit) if Culprit does not have the same keys as one of the other dicts.
ClioPatria (version V3.1.1-51-ga0b30a5)