[ library(ordset) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

ord_nonmember(?Term, +Set)

Term is not a member of Set
Term
Any Term
Set
A set

Modes and Determinism

Fail Conditions

Term is a member of Set

See Also

ord_memberchk / 2