ord_union(+ Sets, ? Union)*
Holds when Union is the union of the lists Sets.
1. prolog::ord_union_3::ord_union/3(int ARG1, int ARG2, int ARG3)():