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)():