[ 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