A.46 library(rbtrees): Red black trees
All Application Manual Name SummaryHelp

Availability::- use_module(library(rbtrees)).(can be autoloaded)
Source[semidet]rb_update(+Tree, +Key, ?NewVal, -NewTree)
Tree NewTree is tree Tree, but with value for Key associated with NewVal. Fails if Key is not in Tree (using (==)/2). This predicate may fail or give unexpected results if Key is not sufficiently instantiated.
See also
rb_in/3 for backtracking over keys.