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

# merge(+MapA, +MapB, -Map)

Merges two maps into one.

MapA
  A map to merge
MapB
  The other map to merge
Map
  The merged map

## Description

The map Map is the result of merging the map MapA and the map MapB; i.e. Map contains all the key/value pairs from both MapA and MapB. If MapA and MapB have a key in common, then it is not defined which corresponding value will end up associated with that key in 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

overlay / 3