[ library(m_map) | Third Party Libraries | 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