Suspend Solver

ECLiPSe provides a suspend solver which can accept some common arithmetic constraints. The solver will suspend the constraint until all its arguments are ground. The constraints accepted by the solver are:

integers/1, reals/1, =:=/2, =\=/2, >=/2, =</2, >/2, </2, #=/2, 
#\=/2, #>=/2, #=</2, #<=/2, #>/2, #</2

The suspend library is loaded into ECLiPSe on start-up, but the constraints associated with ths suspend solver are not imported into eclipse_language modules. To use these constraints, either import the suspend library to the current module, or call the constraint qualified by the module:

    suspend: (X #> 2)

Note that more powerful versions of these constraints exist in other solvers such as the finite domain and the ria solvers.