[ library(suspend) | Reference Manual | Alphabetic Index ]

# reals(?Vars)

Constrain Vars to be a number or list of numbers

Vars
  List of variables or numbers

## Description

This constraint suspends until its argument is ground. It then succeeds iff Vars is a number or a list of numbers (any type).

### Fail Conditions

Vars contains non-numbers.

## Examples

        ?- reals(L), L = [3.4, 7].
        L = [3.4, 7]
        Yes (0.00s cpu)

## See Also

:: / 2, $:: / 2, integers / 1