1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
|
:- protocol(comparingp).
:- info([
version is 1.0,
author is 'Paulo Moura',
date is 2000/7/24,
comment is 'Comparing protocol using overloading of standard operators.']).
:- public((<)/2).
:- mode(<(+term, +term), zero_or_one).
:- info((<)/2, [
comment is 'True if Term1 is less than Term2.',
argnames is ['Term1', 'Term2']]).
:- public((=<)/2).
:- mode(=<(+term, +term), zero_or_one).
:- info((=<)/2, [
comment is 'True if Term1 is less or equal than Term2.',
argnames is ['Term1', 'Term2']]).
:- public((>)/2).
:- mode(>(+term, +term), zero_or_one).
:- info((>)/2, [
comment is 'True if Term1 is greater than Term2.',
argnames is ['Term1', 'Term2']]).
:- public((>=)/2).
:- mode(>=(+term, +term), zero_or_one).
:- info((>=)/2, [
comment is 'True if Term1 is equal or grater than Term2.',
argnames is ['Term1', 'Term2']]).
:- public((=:=)/2).
:- mode(=:=(+term, +term), zero_or_one).
:- info((=:=)/2, [
comment is 'True if Term1 is equal to Term2.',
argnames is ['Term1', 'Term2']]).
:- public((=\=)/2).
:- mode(=\=(+term, +term), zero_or_one).
:- info((=\=)/2, [
comment is 'True if Term1 is not equal to Term2.',
argnames is ['Term1', 'Term2']]).
:- end_protocol.
|
