[ 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

## 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