protocol

# `comparingp`

Comparing protocol using overloading of standard operators.

Author: Paulo Moura
Version: 1:0:0
Date: 2000-07-24
Compilation flags:
`static`
Dependencies:
(none)
Remarks:
(none)
Inherited public predicates:
(none)

- Public predicates

  - `(<)/2`

  - `(=<)/2`

  - `(>)/2`

  - `(>=)/2`

  - `(=:=)/2`

  - `(=\=)/2`

- Protected predicates

- Private predicates

- Operators

## Public predicates

### `(<)/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 predicates

(none)

## Private predicates

(none)

## Operators

(none)