
is_solver_type(?Term)

   Succeeds iff Term is an IC variable or a number.

Arguments
   Term                A Term

Type
   library(ic)

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.


