protocol

# `comparingp`

Comparing protocol using overloading of standard operators.

Author: Paulo Moura
Version: 1.0
Date: 2000/7/24
Compilation flags:
`static`

(no dependencies on other entities)

## Public interface

### `(<)/2`

True if Term1 is less than Term2.

Compilation flags:
`static`
Template:
`Term1<Term2`
Mode and number of proofs:
`+term< +term` - `zero_or_one`

### `(=<)/2`

True if Term1 is less or equal than Term2.

Compilation flags:
`static`
Template:
`Term1=<Term2`
Mode and number of proofs:
`+term=< +term` - `zero_or_one`

### `(>)/2`

True if Term1 is greater than Term2.

Compilation flags:
`static`
Template:
`Term1>Term2`
Mode and number of proofs:
`+term> +term` - `zero_or_one`

### `(>=)/2`

True if Term1 is equal or grater than Term2.

Compilation flags:
`static`
Template:
`Term1>=Term2`
Mode and number of proofs:
`+term>= +term` - `zero_or_one`

### `(=:=)/2`

True if Term1 is equal to Term2.

Compilation flags:
`static`
Template:
`Term1=:=Term2`
Mode and number of proofs:
`+term=:= +term` - `zero_or_one`

### `(=\=)/2`

True if Term1 is not equal to Term2.

Compilation flags:
`static`
Template:
`Term1=\=Term2`
Mode and number of proofs:
`+term=\= +term` - `zero_or_one`

## Protected interface

(none)

## Private predicates

(none)

## Operators

(none)

## Remarks

(none)