[ library(cardinal) | Third Party Libraries | Reference Manual | Alphabetic Index ]

?Element notin ?SetVariable

Set non-membership constraint
SetVariable
A set variable.
Element
A ground term or a variable.

Description

Constrain SetVariable to not include Element.

notin/2 is available for compatibility with conjunto library syntax. It is equivalent to the preferred `-@/2. See its description for details.

Fail Conditions

Fails if Element must be a member of SetVariable.

Resatisfiable

No.

See Also

`-@ / 2, `@ / 2, in / 2, `:: / 2