2.13 Predicates with a Variable Number of Arguments

An important property of the arithmetic predicates <,>,==, <= and >= is that they accept any number of arguments. Whenever there is more than one argument, the predicate is applied sequentially to pairs of arguments. This property can be seen in the following examples:

> 1 < 2 < 3

true

> 1 < 2 < 2

false