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

Term greater than.

'@>'( @term, @term )

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

Term less than or equal to.

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

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

Term greater than or equal to.

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

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