[ 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