[ 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