[ 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