prolog::rb_map/2¶
rb_map(+T, :G, -TN) is semidet.%% For all nodes Key in the tree T, if the value associated with% key Key is Val0 in tree T, and if call(G,Val0,ValF) holds, then% the value associated with Key in TN is ValF. Fails if% call(G,Val0,ValF) is not satisfiable for all Var0.
(undocumented)