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
|
:- object(circle(Radius, Color),
extends(ellipse(Radius, Radius, Color))).
:- info([
author is 'Paulo Moura',
version is 1.0,
date is 2000/4/22,
comment is 'Parametric object for representing geometric circles.',
parnames is ['Radius', 'Color'],
source is 'Example adopted from the SICStus Objects documentation.']).
:- public(r/1).
:- mode(r(?number), zero_or_one).
:- info(r/1, [
comment is 'Circle radius.',
argnames is ['Radius']]).
r(Radius) :-
parameter(1, Radius).
color(Color) :-
parameter(2, Color).
rx(Radius) :-
::r(Radius).
ry(Radius) :-
::r(Radius).
context :-
write(circle2), nl,
self(Self), write('self: '), writeq(Self), nl,
this(This), write('this: '), writeq(This), nl,
sender(Sender), write('sender: '), writeq(Sender), nl, nl,
^^context.
:- end_object.
|
