[ library(fd) | Reference Manual | Alphabetic Index ]

is_domain(?Term)

Succeeds if Term is a domain variable.
?Term
A Prolog term.

Description

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

Fail Conditions

Fails if Term is not a domain variable.

Resatisfiable

No.

See Also

:: / 2, #:: / 2