prolog::ord_disjoint/2¶

@ored ord_disjoint(+Set1, +Set2)% is true when the two ordered sets have no element in common. If the% arguments are not ordered, I have no idea what happens.

(undocumented)

Private-func:¶

1. prolog::ord_disjoint_2::ord_disjoint/2(int ARG1, int ARG2)():