SWI-Prolog -- map_assoc/3

Documentation
- Reference manual
  - The SWI-Prolog library
    - library(assoc): Association lists
      - Reasoning about association lists and their elements
        
        is_assoc/1
        
        map_assoc/2
        
        map_assoc/3
- Packages

Availability::- use_module(library(assoc)).(can be autoloaded)

Source

[semidet]map_assoc(:Pred, +Assoc0, ?Assoc)

Map corresponding values. True if Assoc is Assoc0 with Pred applied to all corresponding pairs of of values.