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
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
|
:- category(proto_hierarchy,
implements(proto_hierarchyp)).
:- info([
version is 1.1,
author is 'Paulo Moura',
date is 2006/2/20,
comment is 'Prototype hierarchy predicates.']).
parent(Parent) :-
self(Self),
extends_object(Self, Parent).
parents(Parents) :-
self(Self),
findall(Parent, extends_object(Self, Parent), Parents).
ancestor(Ancestor) :-
self(Self),
ancestor(Self, Ancestor).
ancestor(Self, Ancestor) :-
extends_object(Self, Ancestor).
ancestor(Self, Ancestor) :-
extends_object(Self, Parent),
ancestor(Parent, Ancestor).
ancestors(Ancestors) :-
self(Self),
findall(Ancestor, ancestor(Self, Ancestor), Ancestors).
extension(Prototype) :-
self(Self),
extends_object(Prototype, Self).
extensions(Prototypes) :-
self(Self),
findall(Prototype, extends_object(Prototype, Self), Prototypes).
leaf(Leaf) :-
self(Self),
leaf(Self, Leaf).
leaf(Self, Leaf) :-
extends_object(Leaf, Self),
\+ extends_object(_, Leaf).
leaf(Self, Leaf) :-
extends_object(Object, Self),
leaf(Object, Leaf).
leaves(Leaves) :-
self(Self),
( setof(Leaf, leaf(Self, Leaf), Leaves) ->
true
; Leaves = []
).
descendant(Descendant) :-
self(Self),
descendant(Self, Descendant).
descendant(Self, Descendant) :-
extends_object(Descendant, Self).
descendant(Self, Descendant) :-
extends_object(Descendant, Self),
\+ extends_object(Descendant, Self).
descendant(Self, Descendant) :-
extends_object(Subclass, Self),
descendant(Subclass, Descendant).
descendants(Descendants) :-
self(Self),
( setof(Descendant, descendant(Self, Descendant), Descendants) ->
true
; Descendants = []
).
:- end_category.
|
