prolog::rb_map/3¶

rb_map(+ Tree,+ G,- TreeN)*

For all nodes Key in the tree Tree, if the value associated with key Key is Val0 in tree Tree, and if call(G,Val0,ValF) holds, then the value associated with Key in TreeN is ValF. Fails if or if call(G,Val0,ValF) is not satisfiable for all Var0.

Private-func:¶

1. prolog::rb_map_3::rb_map/3(int ARG1, int ARG2, int ARG3)():