1461catch( : Goal,+ Exception,+ Action)
maplist( 2:Pred, + List1,+ List2)
rb_apply(+T, +Key, :G, -TN)
rb_clone(+ T,+ NT,+ Nodes)
rb_del_max( +T, -Key, -Val, -TN)
rb_del_min(+T, -Key, -Val, -TN)
rb_delete(+T, +Key, -Val, -TN)
rb_fold(+ T,+ G,+ Acc0, - AccF)
rb_insert(+ T0,+ Key,? Value,+ TF)
rb_key_fold(+ T,+ G,+ Acc0, - AccF)
rb_lookup(+Key, -Value, +T)
rb_lookupall(+ Key,- Value,+ T)
rb_max( +T, -Key, -Value)
rb_next(+T, +Key, -Next,-Value)
rb_partial_map(+ T,+ Keys,+ G,- TN)
rb_previous(+T, +Key, -Previous, -Value)
rb_rewrite(+T, +Key, +NewVal)
rb_rewrite(+T, +Key, ?OldVal, +NewVal)
rb_update(+T, +Key, +NewVal, -TN)
rb_update(+T, +Key, ?OldVal, +NewVal, -TN)