Availability:built-in
[nondet]trie_gen(+Trie,
?Key, -Value)True when Key is associated with Value in Trie.
Backtracking retrieves all pairs. The walk cuts a path of the trie at
the first functor or constant that differs from the one of Key
at the same place, also after a variable in Key or in the
trie. A variable in Key still visits every stored subterm at
its place, and all paths below a stored attributed variable are visited.
The order in which pairs are enumerated is undefined and the predicate
may leave a choice point after the last answer. Currently unsafe if Trie
is modified while the values are being enumerated. See also
trie_gen_compiled/3.