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`

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)

comparingp

`comparingp`