[ ECLiPSe Finite Domain built-in.|Group Index| Full Index]

is_domain(?Term)

Succeeds if Term is a domain variable.

?Term
A Prolog term.

Description

This predicate is used to test if a term is a domain variable.

Fail Conditions

Fails if Term is not a domain variable.

Resatisfiable

No.

Exceptions

Examples


See Also

:: / 2