[ 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.