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

values(+Map, -ValueList)

Return all the values from a map.
Map
A map
ValueList
A list of all the values from Map

Description

ValueList is a list of all the values appearing in the map Map.

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

Fail Conditions

Never fails.

Resatisfiable

no

See Also

values / 2