[ library(m_map) | Reference Manual | Alphabetic Index ]
upper_bound_search(+Map, ++SearchKey, ?Key, ?Value)
Search a map for the largest key no larger than SearchKey.
- Map
- A map
- SearchKey
- A key to search for
- Key
- The key found
- Value
- The value corresponding to Key
Description
This predicate searches the map Map for the entry with the
largest key which is no larger than SearchKey. If such a key is
found, then it attempts to unify it with Key and the corresponding
value with Value.
This predicate should only be called with maps created by other
predicates from the map module.
Fail Conditions
Fails if there are no keys at least as large as SearchKey in Map or if Key and Value do not unify with the key and value found.
Resatisfiable
no
See Also
lower_bound_search / 4, lower_bound_lookup / 4, upper_bound_lookup / 4