[ library(hash) | Reference Manual | Alphabetic Index ]
hash_entry(+Table, ?Key, -Value)
Succeeds if Key and Value are an entry in table
- Table
- A hash table
- Key
- a term
- Value
- a term
Description
Like hash_get/3, but allows the Key to be uninstantiated, in which
case all hash table entries will be enumerated on backtracking.
Modes and Determinism
- hash_entry(+, -, -) is nondet
- hash_entry(+, ++, -) is semidet
Fail Conditions
No entry for Key
See Also
hash_get / 3, hash_list / 3