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

is_integer_domain(?Term)

Succeeds if Term is a domain variable with an integer domain.

?Term
A Prolog term.

Description

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

Fail Conditions

Fails if Term is not an integer domain variable.

Resatisfiable

No.

Exceptions

Examples


See Also

is_domain / 1, :: / 2