A.3.6 Reasoning about association lists and their elements
AllApplicationManualNameSummaryHelp

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.
ClioPatria (version V3.1.1-21-gb8003bb)