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 files)

## Public interface

### (<)/2

> True if Term1 is less than Term2.

compilation flags:
  `static`
template:
  `Term1<Term2`
mode – 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 – number of proofs:
  `+term=< +term – zero_or_one`

### (>)/2

> True if Term1 is greater than Term2.

compilation flags:
  `static`
template:
  `Term1>Term2`
mode – 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 – number of proofs:
  `+term>= +term – zero_or_one`

### (=:=)/2

> True if Term1 is equal to Term2.

compilation flags:
  `static`
template:
  `Term1=:=Term2`
mode – number of proofs:
  `+term=:= +term – zero_or_one`

### (=\=)/2

> True if Term1 is not equal to Term2.

compilation flags:
  `static`
template:
  `Term1=\=Term2`
mode – number of proofs:
  `+term=\= +term – zero_or_one`

## Protected interface

(none)

## Private predicates

(none)

## Operators

### (none)

## Remarks

### (none)

## See also

### (none)