[ 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