
ord_nonmember(?Term, +Set)

   Term is not a member of Set

Arguments
   Term                Any Term
   Set                 A set

Type
   library(ordset)

Modes and Determinism
   ord_nonmember(?, +) is semidet

Fail Conditions
   Term is a member of Set

See Also
   ord_memberchk / 2
