A.3.3 Querying association lists

An association list can be queried with:

[semidet]get_assoc(+Key, +Assoc, -Value)

True if Key-Value is an association in Assoc.

Errors

type_error(assoc, Assoc) if Assoc is not an association list.

[semidet]get_assoc(+Key, +Assoc0, ?Val0, ?Assoc, ?Val)

True if Key-Val0 is in Assoc0 and Key-Val is in Assoc.

[semidet]max_assoc(+Assoc, -Key, -Value)

True if Key-Value is in Assoc and Key is the largest key.

[semidet]min_assoc(+Assoc, -Key, -Value)

True if Key-Value is in assoc and Key is the smallest key.

[nondet]gen_assoc(?Key, +Assoc, ?Value)

True if Key-Value is an association in Assoc. Enumerates keys in ascending order on backtracking.

See also

get_assoc/3.