.. index:: comparingp .. _comparingp/0:

.. rst-class:: right

protocol

comparingp

Comparing protocol using overloading of standard operators.

| Availability: | logtalk_load(types(loader))

| Author: Paulo Moura | Version: 1:0:0 | Date: 2000-07-24

| Compilation flags: | static

| Dependencies: | (none)

| Remarks: | (none)

| Inherited public predicates: | (none)

.. contents:: :local: :backlinks: top

Public predicates

.. index:: (<)/2 .. _comparingp/0::(<)/2:

(<)/2 ^^^^^^^^^

True if Term1 is less than Term2.

| Compilation flags: | static

| Template: | Term1<Term2 | Mode and number of proofs: | +term< +term - zero_or_one

---

.. index:: (=<)/2 .. _comparingp/0::(=<)/2:

(=<)/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

---

.. index:: (>)/2 .. _comparingp/0::(>)/2:

(>)/2 ^^^^^^^^^

True if Term1 is greater than Term2.

| Compilation flags: | static

| Template: | Term1>Term2 | Mode and number of proofs: | +term> +term - zero_or_one

---

.. index:: (>=)/2 .. _comparingp/0::(>=)/2:

(>=)/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

---

.. index:: (=:=)/2 .. _comparingp/0::(=:=)/2:

(=:=)/2 ^^^^^^^^^^^

True if Term1 is equal to Term2.

| Compilation flags: | static

| Template: | Term1=:=Term2 | Mode and number of proofs: | +term=:= +term - zero_or_one

---

.. index:: (=\=)/2 .. _comparingp/0::(=\=)/2:

(=\=)/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)