SWI-Prolog -- map_assoc/2

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, +Assoc)

True if Pred(Value) is true for all values in Assoc.