trie_gen/3

Availability:built-in

[nondet]trie_gen(+Trie, ?Key, -Value)

True when Key is associated with Value in Trie. Backtracking retrieves all pairs. Currently scans the entire trie, even if Key is partly known. Currently unsafe if Trie is modified while the values are being enumerated. See also trie_gen_compiled/3.

History

Enhanced in 8.1.8 (👉bfc66a1) limit search for trie_gen/3. Starts creating choice points from the first <var> in the trie or target term.