[ 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