[ library(fd) | The ECLiPSe Libraries | Reference Manual | Alphabetic 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.

## See Also

is_domain / 1, :: / 2, #:: / 2