File: rational.lgt

package info (click to toggle)
yap 5.1.1-3
  • links: PTS
  • area: main
  • in suites: lenny
  • size: 16,124 kB
  • ctags: 14,650
  • sloc: ansic: 122,796; perl: 22,545; sh: 3,768; java: 1,277; makefile: 1,191; xml: 739; tcl: 624; lisp: 142; awk: 9
file content (37 lines) | stat: -rw-r--r-- 478 bytes parent folder | download 
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
 

:- object(rational,
	implements(comparingp)).


	:- info([
		author is 'Paulo Moura',
		version is 1.0,
		date is 2000/4/22,
		comment is 'Implements comparison between rational numbers represented as Num/Den.']).


	N1/D1 < N2/D2 :-
		{N1*D2 < N2*D1}.


	N1/D1 =< N2/D2 :-
		{N1*D2 =< N2*D1}.


	N1/D1 > N2/D2 :-
		{N1*D2 > N2*D1}.


	N1/D1 >= N2/D2 :-
		{N1*D2 >= N2*D1}.


	N1/D1 =:= N2/D2 :-
		{N1*D2 =:= N2*D1}.


	N1/D1 =\= N2/D2 :-
		{N1*D2 =\= N2*D1}.


:- end_object.