prolog::ord_intersection/4¶
ord_intersection(+ Set1, + Set2, ? Intersection)*
Holds when Intersection is the ordered representation of Set1 and Set2.
Private-func:¶
1. prolog::ord_intersection_4::ord_intersection/4(int ARG1, int ARG2, int ARG3, int ARG4)():