Availability:built-in
trie_insert(+Trie, 
+Key, +Value)Insert the term Key into Trie and associate it 
with
Value. Value can be any term. If Key-Value 
is already part of Trie, the predicates fails 
silently. If Key is in Trie associated with a 
different value, a
permission_error is raised.