prolog::rb_apply/4

rb_apply(+ Tree,+ Key,+ G,- TreeN)*

If the value associated with key Key is Val0 in Tree, and if call(G,Val0,ValF) holds, then TreeN differs from Tree only in that Key is associated with value ValF in tree TreeN. Fails if it cannot find Key in Tree, or if call(G,Val0,ValF) is not satisfiable.

Private-func:

1. prolog::rb_apply_4::rb_apply/4(int ARG1, int ARG2, int ARG3, int ARG4)():