[ library(fd) | 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