[ library(m_map) | Reference Manual | Alphabetic Index ]

count(+Map, ?Count)

Count the number of elements in a map.
Map
A map
Count
The number of elements in Map

Description

Counts the number of elements in the map Map, and attempts to unify the result with Count.

This predicate should only be called with maps created by other predicates from the map module.

Fail Conditions

Fails if Count does not unify with the number of elements in Map.

Resatisfiable

no