[ library(conjunto) | Reference Manual | Alphabetic Index ]
# ?E notin ?Sterm

E does not belong to the set term Sterm.
*?E*
- A Prolog term.
*?Sterm*
- A set term.

## Description

This constraint states that E does not belong to the set term Sterm. If
E is not a known value the constraint is delayed. It is activated as
soon as E becomes a known value. If Sterm is a ground set and E is
known it checks if E does not belong to Sterm.

### Fail Conditions

Fails if E belongs to Sterm.
### Resatisfiable

No.
## See Also

`:: / 2, in / 2