A.4.6 Reasoning about association lists and their elements
AllApplicationManualNameSummaryHelp

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.
ClioPatria (version no GIT?)