Go backward to 2.4 Miscellaneous Go up to 2 Language Go forward to 2.6 Predefined Predicates and Functions

2.5 Values

Every term denotes one of the following types of values:

A Natural Number

One of the values 0, 1, 2, ...

term +(1, 1);
> 2.

A Set

An unordered (and in the evaluator finite) collection of values.

term join(tuple(1, 2), join({}, join(1, {})));
> {1, {}, <1, 2>}.

A Tuple

A finite sequence of values.

term tuple(2, tuple(1, 4), {}, 3);
> <2, <1, 4>, {}, 3>.

An Interval

A subrange of the natural numbers.

term nat(2, 7);
> 2..7.