prolog::rb_partial_map/4¶

rb_partial_map(+ Tree,+ Keys,+ G,- TreeN)*

For all nodes Key in Keys, 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. Assumes keys are not repeated.

Private-func:¶

1. prolog::rb_partial_map_4::rb_partial_map/4(int ARG1, int ARG2, int ARG3, int ARG4)():