-
Notifications
You must be signed in to change notification settings - Fork 0
/
greek.pl
139 lines (137 loc) · 2.96 KB
/
greek.pl
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
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
man(chaos).
man(erebus).
man(aether).
man(tartarus).
man(eros).
man(pontus).
man(uranus).
man(oceanus).
man(cronus).
man(coeus).
man(hyperion).
man(iapetuys).
man(hades).
man(poseidon).
man(zeus).
man(helios).
man(apollo).
man(atlas).
man(hermes).
man(prometheus).
man(epimetheus).
man(ares).
man(hephaetus).
man(dionysus).
woman(forehead).
woman(nyx).
woman(hemera).
woman(gaia).
woman(tethys).
woman(mnemosyne).
woman(rhea).
woman(themis).
woman(phoebe).
woman(theia).
woman(clymene).
woman(hestia).
woman(demeter).
woman(persephone).
woman(artemis).
woman(eos).
woman(selene).
woman(maia).
woman(dione).
woman(aphrodite).
woman(athena).
woman(hebe).
woman(hera).
woman(semelle).
woman(leto).
parent(chaos,erebus).
parent(nyx,erebus).
parent(erebus,aether).
parent(erebus,hemera).
parent(nyx,aether).
parent(nyx,hemera).
parent(aether,gaia).
parent(aether,tartarus).
parent(aether,eros).
parent(aether,pontus).
parent(hemera,gaia).
parent(hemera,tartarus).
parent(hemera,eros).
parent(hemera,pontus).
parent(uranus,oceanus).
parent(uranus,mnemosyne).
parent(uranus,cronus).
parent(uranus,themis).
parent(uranus,coeus).
parent(uranus,phoebe).
parent(uranus,hyperion).
parent(uranus,iapetuys).
parent(gaia,oceanus).
parent(gaia,mnemosyne).
parent(gaia,cronus).
parent(gaia,phoebe).
parent(gaia,themis).
parent(gaia,coeus).
parent(gaia,hyperion).
parent(gaia,iapetuys).
parent(cronus,hestia).
parent(cronus,hades).
parent(cronus,poseidon).
parent(cronus,zeus).
parent(cronus,hera).
parent(cronus,demeter).
parent(rhea,hestia).
parent(rhea,hades).
parent(rhea,poseidon).
parent(rhea,zeus).
parent(rhea,hera).
parent(rhea,demeter).
parent(zeus,athena).
parent(zeus,ares).
parent(zeus,hebe).
parent(zeus,hephaetus).
parent(zeus,dionysus).
parent(zeus,artemis).
parent(zeus,apollo).
parent(zeus,hermes).
parent(zeus,aphrodite).
parent(zeus,persephone).
parent(forehead,athena).
parent(hera,ares).
parent(hera,hephaetus).
parent(semelle,dionysus).
parent(demeter,persephone).
parent(coeus,leto).
parent(zeus,leto).
parent(leto,artemis).
parent(leto,apollo).
parent(hyperion,eos).
parent(hyperion,selene).
parent(hyperion,helios).
parent(theia,eos).
parent(theia,selene).
parent(theia,helios).
parent(iapetuys,atlas).
parent(iapetuys,prometheus).
parent(iapetuys,epimetheus).
parent(clymene,atlas).
parent(clymene,prometheus).
parent(clymene,atlas).
parent(atlas,maia).
parent(epimetheus,dione).
parent(maia,hermes).
parent(dione,aphrodite).
father(F,C):-man(F),parent(F,C).
mother(M,C):-woman(M),parent(M,C).
is_father(F):-father(F,_).
is_mother(M):-mother(M,_).
son(S,P):-man(S),parent(P,S).
daughter(D,P):-woman(D),parent(P,D).
siblings(A,B):-parent(P,A),parent(P,B),A\=B.
full_siblings(A,B):-parent(F,A),parent(F,B),parent(M,A),parent(M,B),A\=B,F\=M.
uncle(U,N):-man(U),siblings(U,P),parent(P,N).
aunt(A,N):-woman(A),siblings(A,P),parent(P,N).
grand_parent(G,N):-parent(G,X),parent(X,N).