FASILL documentation Predicate Reference arithmetic comparison

Arithmetic comparison

This section provides predicates for arithmetic comparison.

'<'/2

Arithmetic less than.

'<'( @evaluable, @evaluable )

True if the first number is less than the second one.

'>'/2

Arithmetic greater than.

'>'( @evaluable, @evaluable )

True if the first number is greater than the second one.

'=:='/2

Arithmetic equal.

'=:='( @evaluable, @evaluable )

True if both numbers are equal.

'=\\='/2

Arithmetic not equal.

'=\='( @evaluable, @evaluable )

True if the compared numbers are not equal.

'=<'/2

Arithmetic less than or equal to.

'=<'( @evaluable, @evaluable )

True if the first number is less than or equal to the second one.

'>='/2

Arithmetic greater than or equal to.

'>='( @evaluable, @evaluable )

True if the first number is greater than or equal to the second one.