prolog::map_assoc/3¶
map_assoc(+ Pred,+ Assoc)*
map_assoc(+ Pred,+ Assoc,? New)*
Succeeds if the unary predicate name Pred( Val) holds for every element in the association list.
Given the binary predicate name Pred and the association list Assoc, New in an association list with keys in Assoc, and such that if Key-Val is in Assoc, and Key-Ans is in New, then Pred( Val, Ans) holds.
Private-func:¶
1. prolog::map_assoc_3::map_assoc/3(int ARG1, int ARG2, int ARG3)():