ord_setproduct(+ Set1, + Set2, - Set)*
If Set1 and Set2 are ordered sets, Product will be an ordered set of x1-x2 pairs.
1. prolog::ord_setproduct_3::ord_setproduct/3(int ARG1, int ARG2, int ARG3)():