A.4.6 Reasoning about association lists and their elements
All
Application
Manual
Name
Summary
Help
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)
[semidet]
map_assoc
(
:Pred, +Assoc
)
True if
Pred
(Value) is true for all values in
Assoc
.
[semidet]map_assoc(:Pred,
+Assoc)True if Pred(Value) is true for all values in Assoc.