[ library(hash) | The ECLiPSe Libraries | 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
Calling Modes
- hash_entry(+, -, -)
- hash_entry(+, +, ?)
Description
Like hash_get/3, but allows the Key to be uninstantiated, in which
case all hash table entries will be enumerated on backtracking.
Resatisfiable
yes
See Also
hash_get / 3, hash_list / 3