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

# from_corresponding_lists(++KeyList, ?ValueList, -Map)

Converts a corresponding pair of lists into a map.

KeyList
  A list of keys
ValueList
  A list of values corresponding to the keys in KeyList
Map
  The created map

## Description

Converts a list of keys KeyList and a corresponding list of values ValueList into a map Map. If a key appears more than once in KeyList, then its corresponding value in the map Map will be the last one appearing in AssocList.

### Fail Conditions

Fails if the lists aren't the same length.

### Resatisfiable

no

## See Also

from_assoc_list / 2, det_insert_from_corresponding_lists / 4