[ library(ic) | Reference Manual | Alphabetic Index ]
is_solver_type(?Term)
Succeeds iff Term is an IC variable or a number.
- Term
- A Term
Description
Test if the term Term is an IC variable or a numeric type supported by
the solver (any ground number). Succeed if it is, fail otherwise.
Modes and Determinism
- is_solver_type(?) is semidet
Fail Conditions
Var is not an IC variable or a number.