|Did you know ...||Search Documentation:|
:- use_module(library(rbtrees)).(can be autoloaded)
call(G,Val0,ValF)holds, then NewTree differs from Tree only in that Key is associated with value ValF in tree NewTree. Fails if it cannot find Key in Tree, or if
call(G,Val0,ValF)is not satisfiable.