[ 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