[ library(m_map) | Third Party Libraries | Reference Manual | Alphabetic Index ]

# remove_smallest(+Map0, ?Key, ?Value, -Map)

Remove the smallest key and its corresponding value from a map.

Map0
  A map
Key
  The key removed
Value
  The value corresponding to Key
Map
  The map after removal

## Description

Removes the smallest key in the map Map0 (resulting in the map Map), and attempts to unify the removed key with Key and its corresponding value with Value.

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

### Fail Conditions

Fails if Map0 is empty or if Key and Value do not unify with the key and value removed.

### Resatisfiable

no

## See Also

remove / 4