FASILL documentation Predicate Reference term comparison

Term comparison

Comparison of arbitrary FASILL terms. Terms are ordered in the so-called "standard order" (dependent on the Prolog system on which FASILL is run).

'=='/2

Term identical.

'=='( @term, @term )

True if the compared terms are identical.

'\=='/2

Term not identical.

'\=='( @term, @term )

True if the compared terms are not identical.

'@<'/2

Term less than.

'@<'( @term, @term )

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

'@>'/2

Term greater than.

'@>'( @term, @term )

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

'@=<'/2

Term less than or equal to.

'@=<'( @term, @term )

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

'@>='/2

Term greater than or equal to.

'@>='( @term, @term )

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