Attachment 'Qualitative-Spatial-Reasoning-ENCODING.txt'
Download 1 % A Disjunctive Logic Program for IA Constraint Networks
2
3 % relations
4 rel(req).
5 rel(rp).
6 rel(rpi).
7 rel(rd).
8 rel(rdi).
9 rel(ro).
10 rel(roi).
11 rel(rm).
12 rel(rmi).
13 rel(rs).
14 rel(rsi).
15 rel(rf).
16 rel(rfi).
17 % Choice rule for clasp
18 1 <= {label(X,Y,L) : rel(L)} <= 1 :- node1(X), node2(Y), X<Y.
19 :- label(X,Y,L), lc(X,Y,L), node1(X), node2(Y), rel(L).
20
21 % Composition table
22 % req o req = r=
23 label(X,Z,req) :- label(X,Y,req), label(Y,Z,req).
24 % req o rp = r<
25 label(X,Z,rp) :- label(X,Y,req), label(Y,Z,rp).
26 % req o rpi = r>
27 label(X,Z,rpi) :- label(X,Y,req), label(Y,Z,rpi).
28 % req o rd = rd
29 label(X,Z,rd) :- label(X,Y,req), label(Y,Z,rd).
30 % req o rdi = rdi
31 label(X,Z,rdi) :- label(X,Y,req), label(Y,Z,rdi).
32 % req o rs = rs
33 label(X,Z,rs) :- label(X,Y,req), label(Y,Z,rs).
34 % req o rsi = rsi
35 label(X,Z,rsi) :- label(X,Y,req), label(Y,Z,rsi).
36 % req o rf = rf
37 label(X,Z,rf) :- label(X,Y,req), label(Y,Z,rf).
38 % req o rfi = rfi
39 label(X,Z,rfi) :- label(X,Y,req), label(Y,Z,rfi).
40 % req o rm = rm
41 label(X,Z,rm) :- label(X,Y,req), label(Y,Z,rm).
42 % req o rmi = rmi
43 label(X,Z,rmi) :- label(X,Y,req), label(Y,Z,rmi).
44 % req o ro = ro
45 label(X,Z,ro) :- label(X,Y,req), label(Y,Z,ro).
46 % req o roi = roi
47 label(X,Z,roi) :- label(X,Y,req), label(Y,Z,roi).
48 % rp o req = r<
49 label(X,Z,rp) :- label(X,Y,rp), label(Y,Z,req).
50 % rp o rp = r<
51 label(X,Z,rp) :- label(X,Y,rp), label(Y,Z,rp).
52 % rp o rpi = r= < > d di s si f fi m mi o oi
53 label(X,Z,req) | label(X,Z,rp) | label(X,Z,rpi) | label(X,Z,rd) | label(X,Z,rdi) | label(X,Z,rs) | label(X,Z,rsi) | label(X,Z,rf) | label(X,Z,rfi) | label(X,Z,rm) | label(X,Z,rmi) | label(X,Z,ro) | label(X,Z,roi) :- label(X,Y,rp), label(Y,Z,rpi).
54 % rp o rd = r< d s m o
55 label(X,Z,rp) | label(X,Z,rd) | label(X,Z,rs) | label(X,Z,rm) | label(X,Z,ro) :- label(X,Y,rp), label(Y,Z,rd).
56 % rp o rdi = r<
57 label(X,Z,rp) :- label(X,Y,rp), label(Y,Z,rdi).
58 % rp o rs = r<
59 label(X,Z,rp) :- label(X,Y,rp), label(Y,Z,rs).
60 % rp o rsi = r<
61 label(X,Z,rp) :- label(X,Y,rp), label(Y,Z,rsi).
62 % rp o rf = r< d s m o
63 label(X,Z,rp) | label(X,Z,rd) | label(X,Z,rs) | label(X,Z,rm) | label(X,Z,ro) :- label(X,Y,rp), label(Y,Z,rf).
64 % rp o rfi = r<
65 label(X,Z,rp) :- label(X,Y,rp), label(Y,Z,rfi).
66 % rp o rm = r<
67 label(X,Z,rp) :- label(X,Y,rp), label(Y,Z,rm).
68 % rp o rmi = r< d s m o
69 label(X,Z,rp) | label(X,Z,rd) | label(X,Z,rs) | label(X,Z,rm) | label(X,Z,ro) :- label(X,Y,rp), label(Y,Z,rmi).
70 % rp o ro = r<
71 label(X,Z,rp) :- label(X,Y,rp), label(Y,Z,ro).
72 % rp o roi = r< d s m o
73 label(X,Z,rp) | label(X,Z,rd) | label(X,Z,rs) | label(X,Z,rm) | label(X,Z,ro) :- label(X,Y,rp), label(Y,Z,roi).
74 % rpi o req = r>
75 label(X,Z,rpi) :- label(X,Y,rpi), label(Y,Z,req).
76 % rpi o rp = r= < > d di s si f fi m mi o oi
77 label(X,Z,req) | label(X,Z,rp) | label(X,Z,rpi) | label(X,Z,rd) | label(X,Z,rdi) | label(X,Z,rs) | label(X,Z,rsi) | label(X,Z,rf) | label(X,Z,rfi) | label(X,Z,rm) | label(X,Z,rmi) | label(X,Z,ro) | label(X,Z,roi) :- label(X,Y,rpi), label(Y,Z,rp).
78 % rpi o rpi = r>
79 label(X,Z,rpi) :- label(X,Y,rpi), label(Y,Z,rpi).
80 % rpi o rd = r> d f mi oi
81 label(X,Z,rpi) | label(X,Z,rd) | label(X,Z,rf) | label(X,Z,rmi) | label(X,Z,roi) :- label(X,Y,rpi), label(Y,Z,rd).
82 % rpi o rdi = r>
83 label(X,Z,rpi) :- label(X,Y,rpi), label(Y,Z,rdi).
84 % rpi o rs = r> d f mi oi
85 label(X,Z,rpi) | label(X,Z,rd) | label(X,Z,rf) | label(X,Z,rmi) | label(X,Z,roi) :- label(X,Y,rpi), label(Y,Z,rs).
86 % rpi o rsi = r>
87 label(X,Z,rpi) :- label(X,Y,rpi), label(Y,Z,rsi).
88 % rpi o rf = r>
89 label(X,Z,rpi) :- label(X,Y,rpi), label(Y,Z,rf).
90 % rpi o rfi = r>
91 label(X,Z,rpi) :- label(X,Y,rpi), label(Y,Z,rfi).
92 % rpi o rm = r> d f mi oi
93 label(X,Z,rpi) | label(X,Z,rd) | label(X,Z,rf) | label(X,Z,rmi) | label(X,Z,roi) :- label(X,Y,rpi), label(Y,Z,rm).
94 % rpi o rmi = r>
95 label(X,Z,rpi) :- label(X,Y,rpi), label(Y,Z,rmi).
96 % rpi o ro = r> d f mi oi
97 label(X,Z,rpi) | label(X,Z,rd) | label(X,Z,rf) | label(X,Z,rmi) | label(X,Z,roi) :- label(X,Y,rpi), label(Y,Z,ro).
98 % rpi o roi = r>
99 label(X,Z,rpi) :- label(X,Y,rpi), label(Y,Z,roi).
100 % rd o req = rd
101 label(X,Z,rd) :- label(X,Y,rd), label(Y,Z,req).
102 % rd o rp = r<
103 label(X,Z,rp) :- label(X,Y,rd), label(Y,Z,rp).
104 % rd o rpi = r>
105 label(X,Z,rpi) :- label(X,Y,rd), label(Y,Z,rpi).
106 % rd o rd = rd
107 label(X,Z,rd) :- label(X,Y,rd), label(Y,Z,rd).
108 % rd o rdi = r= < > d di s si f fi m mi o oi
109 label(X,Z,req) | label(X,Z,rp) | label(X,Z,rpi) | label(X,Z,rd) | label(X,Z,rdi) | label(X,Z,rs) | label(X,Z,rsi) | label(X,Z,rf) | label(X,Z,rfi) | label(X,Z,rm) | label(X,Z,rmi) | label(X,Z,ro) | label(X,Z,roi) :- label(X,Y,rd), label(Y,Z,rdi).
110 % rd o rs = rd
111 label(X,Z,rd) :- label(X,Y,rd), label(Y,Z,rs).
112 % rd o rsi = r> d f mi oi
113 label(X,Z,rpi) | label(X,Z,rd) | label(X,Z,rf) | label(X,Z,rmi) | label(X,Z,roi) :- label(X,Y,rd), label(Y,Z,rsi).
114 % rd o rf = rd
115 label(X,Z,rd) :- label(X,Y,rd), label(Y,Z,rf).
116 % rd o rfi = r< d s m o
117 label(X,Z,rp) | label(X,Z,rd) | label(X,Z,rs) | label(X,Z,rm) | label(X,Z,ro) :- label(X,Y,rd), label(Y,Z,rfi).
118 % rd o rm = r<
119 label(X,Z,rp) :- label(X,Y,rd), label(Y,Z,rm).
120 % rd o rmi = r>
121 label(X,Z,rpi) :- label(X,Y,rd), label(Y,Z,rmi).
122 % rd o ro = r< d s m o
123 label(X,Z,rp) | label(X,Z,rd) | label(X,Z,rs) | label(X,Z,rm) | label(X,Z,ro) :- label(X,Y,rd), label(Y,Z,ro).
124 % rd o roi = r> d f mi oi
125 label(X,Z,rpi) | label(X,Z,rd) | label(X,Z,rf) | label(X,Z,rmi) | label(X,Z,roi) :- label(X,Y,rd), label(Y,Z,roi).
126 % rdi o req = rdi
127 label(X,Z,rdi) :- label(X,Y,rdi), label(Y,Z,req).
128 % rdi o rp = r< di fi m o
129 label(X,Z,rp) | label(X,Z,rdi) | label(X,Z,rfi) | label(X,Z,rm) | label(X,Z,ro) :- label(X,Y,rdi), label(Y,Z,rp).
130 % rdi o rpi = r> di si mi oi
131 label(X,Z,rpi) | label(X,Z,rdi) | label(X,Z,rsi) | label(X,Z,rmi) | label(X,Z,roi) :- label(X,Y,rdi), label(Y,Z,rpi).
132 % rdi o rd = r= d di s si f fi o oi
133 label(X,Z,req) | label(X,Z,rd) | label(X,Z,rdi) | label(X,Z,rs) | label(X,Z,rsi) | label(X,Z,rf) | label(X,Z,rfi) | label(X,Z,ro) | label(X,Z,roi) :- label(X,Y,rdi), label(Y,Z,rd).
134 % rdi o rdi = rdi
135 label(X,Z,rdi) :- label(X,Y,rdi), label(Y,Z,rdi).
136 % rdi o rs = rdi fi o
137 label(X,Z,rdi) | label(X,Z,rfi) | label(X,Z,ro) :- label(X,Y,rdi), label(Y,Z,rs).
138 % rdi o rsi = rdi
139 label(X,Z,rdi) :- label(X,Y,rdi), label(Y,Z,rsi).
140 % rdi o rf = rdi si oi
141 label(X,Z,rdi) | label(X,Z,rsi) | label(X,Z,roi) :- label(X,Y,rdi), label(Y,Z,rf).
142 % rdi o rfi = rdi
143 label(X,Z,rdi) :- label(X,Y,rdi), label(Y,Z,rfi).
144 % rdi o rm = rdi fi o
145 label(X,Z,rdi) | label(X,Z,rfi) | label(X,Z,ro) :- label(X,Y,rdi), label(Y,Z,rm).
146 % rdi o rmi = rdi si oi
147 label(X,Z,rdi) | label(X,Z,rsi) | label(X,Z,roi) :- label(X,Y,rdi), label(Y,Z,rmi).
148 % rdi o ro = rdi fi o
149 label(X,Z,rdi) | label(X,Z,rfi) | label(X,Z,ro) :- label(X,Y,rdi), label(Y,Z,ro).
150 % rdi o roi = rdi si oi
151 label(X,Z,rdi) | label(X,Z,rsi) | label(X,Z,roi) :- label(X,Y,rdi), label(Y,Z,roi).
152 % rs o req = rs
153 label(X,Z,rs) :- label(X,Y,rs), label(Y,Z,req).
154 % rs o rp = r<
155 label(X,Z,rp) :- label(X,Y,rs), label(Y,Z,rp).
156 % rs o rpi = r>
157 label(X,Z,rpi) :- label(X,Y,rs), label(Y,Z,rpi).
158 % rs o rd = rd
159 label(X,Z,rd) :- label(X,Y,rs), label(Y,Z,rd).
160 % rs o rdi = r< di fi m o
161 label(X,Z,rp) | label(X,Z,rdi) | label(X,Z,rfi) | label(X,Z,rm) | label(X,Z,ro) :- label(X,Y,rs), label(Y,Z,rdi).
162 % rs o rs = rs
163 label(X,Z,rs) :- label(X,Y,rs), label(Y,Z,rs).
164 % rs o rsi = r= s si
165 label(X,Z,req) | label(X,Z,rs) | label(X,Z,rsi) :- label(X,Y,rs), label(Y,Z,rsi).
166 % rs o rf = rd
167 label(X,Z,rd) :- label(X,Y,rs), label(Y,Z,rf).
168 % rs o rfi = r< m o
169 label(X,Z,rp) | label(X,Z,rm) | label(X,Z,ro) :- label(X,Y,rs), label(Y,Z,rfi).
170 % rs o rm = r<
171 label(X,Z,rp) :- label(X,Y,rs), label(Y,Z,rm).
172 % rs o rmi = rmi
173 label(X,Z,rmi) :- label(X,Y,rs), label(Y,Z,rmi).
174 % rs o ro = r< m o
175 label(X,Z,rp) | label(X,Z,rm) | label(X,Z,ro) :- label(X,Y,rs), label(Y,Z,ro).
176 % rs o roi = rd f oi
177 label(X,Z,rd) | label(X,Z,rf) | label(X,Z,roi) :- label(X,Y,rs), label(Y,Z,roi).
178 % rsi o req = rsi
179 label(X,Z,rsi) :- label(X,Y,rsi), label(Y,Z,req).
180 % rsi o rp = r< di fi m o
181 label(X,Z,rp) | label(X,Z,rdi) | label(X,Z,rfi) | label(X,Z,rm) | label(X,Z,ro) :- label(X,Y,rsi), label(Y,Z,rp).
182 % rsi o rpi = r>
183 label(X,Z,rpi) :- label(X,Y,rsi), label(Y,Z,rpi).
184 % rsi o rd = rd f oi
185 label(X,Z,rd) | label(X,Z,rf) | label(X,Z,roi) :- label(X,Y,rsi), label(Y,Z,rd).
186 % rsi o rdi = rdi
187 label(X,Z,rdi) :- label(X,Y,rsi), label(Y,Z,rdi).
188 % rsi o rs = r= s si
189 label(X,Z,req) | label(X,Z,rs) | label(X,Z,rsi) :- label(X,Y,rsi), label(Y,Z,rs).
190 % rsi o rsi = rsi
191 label(X,Z,rsi) :- label(X,Y,rsi), label(Y,Z,rsi).
192 % rsi o rf = roi
193 label(X,Z,roi) :- label(X,Y,rsi), label(Y,Z,rf).
194 % rsi o rfi = rdi
195 label(X,Z,rdi) :- label(X,Y,rsi), label(Y,Z,rfi).
196 % rsi o rm = rdi fi o
197 label(X,Z,rdi) | label(X,Z,rfi) | label(X,Z,ro) :- label(X,Y,rsi), label(Y,Z,rm).
198 % rsi o rmi = rmi
199 label(X,Z,rmi) :- label(X,Y,rsi), label(Y,Z,rmi).
200 % rsi o ro = rdi fi o
201 label(X,Z,rdi) | label(X,Z,rfi) | label(X,Z,ro) :- label(X,Y,rsi), label(Y,Z,ro).
202 % rsi o roi = roi
203 label(X,Z,roi) :- label(X,Y,rsi), label(Y,Z,roi).
204 % rf o req = rf
205 label(X,Z,rf) :- label(X,Y,rf), label(Y,Z,req).
206 % rf o rp = r<
207 label(X,Z,rp) :- label(X,Y,rf), label(Y,Z,rp).
208 % rf o rpi = r>
209 label(X,Z,rpi) :- label(X,Y,rf), label(Y,Z,rpi).
210 % rf o rd = rd
211 label(X,Z,rd) :- label(X,Y,rf), label(Y,Z,rd).
212 % rf o rdi = r> di si mi oi
213 label(X,Z,rpi) | label(X,Z,rdi) | label(X,Z,rsi) | label(X,Z,rmi) | label(X,Z,roi) :- label(X,Y,rf), label(Y,Z,rdi).
214 % rf o rs = rd
215 label(X,Z,rd) :- label(X,Y,rf), label(Y,Z,rs).
216 % rf o rsi = r> mi oi
217 label(X,Z,rpi) | label(X,Z,rmi) | label(X,Z,roi) :- label(X,Y,rf), label(Y,Z,rsi).
218 % rf o rf = rf
219 label(X,Z,rf) :- label(X,Y,rf), label(Y,Z,rf).
220 % rf o rfi = r= f fi
221 label(X,Z,req) | label(X,Z,rf) | label(X,Z,rfi) :- label(X,Y,rf), label(Y,Z,rfi).
222 % rf o rm = rm
223 label(X,Z,rm) :- label(X,Y,rf), label(Y,Z,rm).
224 % rf o rmi = r>
225 label(X,Z,rpi) :- label(X,Y,rf), label(Y,Z,rmi).
226 % rf o ro = rd s o
227 label(X,Z,rd) | label(X,Z,rs) | label(X,Z,ro) :- label(X,Y,rf), label(Y,Z,ro).
228 % rf o roi = r> mi oi
229 label(X,Z,rpi) | label(X,Z,rmi) | label(X,Z,roi) :- label(X,Y,rf), label(Y,Z,roi).
230 % rfi o req = rfi
231 label(X,Z,rfi) :- label(X,Y,rfi), label(Y,Z,req).
232 % rfi o rp = r<
233 label(X,Z,rp) :- label(X,Y,rfi), label(Y,Z,rp).
234 % rfi o rpi = r> di si mi oi
235 label(X,Z,rpi) | label(X,Z,rdi) | label(X,Z,rsi) | label(X,Z,rmi) | label(X,Z,roi) :- label(X,Y,rfi), label(Y,Z,rpi).
236 % rfi o rd = rd s o
237 label(X,Z,rd) | label(X,Z,rs) | label(X,Z,ro) :- label(X,Y,rfi), label(Y,Z,rd).
238 % rfi o rdi = rdi
239 label(X,Z,rdi) :- label(X,Y,rfi), label(Y,Z,rdi).
240 % rfi o rs = ro
241 label(X,Z,ro) :- label(X,Y,rfi), label(Y,Z,rs).
242 % rfi o rsi = rdi
243 label(X,Z,rdi) :- label(X,Y,rfi), label(Y,Z,rsi).
244 % rfi o rf = r= f fi
245 label(X,Z,req) | label(X,Z,rf) | label(X,Z,rfi) :- label(X,Y,rfi), label(Y,Z,rf).
246 % rfi o rfi = rfi
247 label(X,Z,rfi) :- label(X,Y,rfi), label(Y,Z,rfi).
248 % rfi o rm = rm
249 label(X,Z,rm) :- label(X,Y,rfi), label(Y,Z,rm).
250 % rfi o rmi = rdi si oi
251 label(X,Z,rdi) | label(X,Z,rsi) | label(X,Z,roi) :- label(X,Y,rfi), label(Y,Z,rmi).
252 % rfi o ro = ro
253 label(X,Z,ro) :- label(X,Y,rfi), label(Y,Z,ro).
254 % rfi o roi = rdi si oi
255 label(X,Z,rdi) | label(X,Z,rsi) | label(X,Z,roi) :- label(X,Y,rfi), label(Y,Z,roi).
256 % rm o req = rm
257 label(X,Z,rm) :- label(X,Y,rm), label(Y,Z,req).
258 % rm o rp = r<
259 label(X,Z,rp) :- label(X,Y,rm), label(Y,Z,rp).
260 % rm o rpi = r> di si mi oi
261 label(X,Z,rpi) | label(X,Z,rdi) | label(X,Z,rsi) | label(X,Z,rmi) | label(X,Z,roi) :- label(X,Y,rm), label(Y,Z,rpi).
262 % rm o rd = rd s o
263 label(X,Z,rd) | label(X,Z,rs) | label(X,Z,ro) :- label(X,Y,rm), label(Y,Z,rd).
264 % rm o rdi = r<
265 label(X,Z,rp) :- label(X,Y,rm), label(Y,Z,rdi).
266 % rm o rs = rm
267 label(X,Z,rm) :- label(X,Y,rm), label(Y,Z,rs).
268 % rm o rsi = rm
269 label(X,Z,rm) :- label(X,Y,rm), label(Y,Z,rsi).
270 % rm o rf = rd s o
271 label(X,Z,rd) | label(X,Z,rs) | label(X,Z,ro) :- label(X,Y,rm), label(Y,Z,rf).
272 % rm o rfi = r<
273 label(X,Z,rp) :- label(X,Y,rm), label(Y,Z,rfi).
274 % rm o rm = r<
275 label(X,Z,rp) :- label(X,Y,rm), label(Y,Z,rm).
276 % rm o rmi = r= f fi
277 label(X,Z,req) | label(X,Z,rf) | label(X,Z,rfi) :- label(X,Y,rm), label(Y,Z,rmi).
278 % rm o ro = r<
279 label(X,Z,rp) :- label(X,Y,rm), label(Y,Z,ro).
280 % rm o roi = rd s o
281 label(X,Z,rd) | label(X,Z,rs) | label(X,Z,ro) :- label(X,Y,rm), label(Y,Z,roi).
282 % rmi o req = rmi
283 label(X,Z,rmi) :- label(X,Y,rmi), label(Y,Z,req).
284 % rmi o rp = r< di fi m o
285 label(X,Z,rp) | label(X,Z,rdi) | label(X,Z,rfi) | label(X,Z,rm) | label(X,Z,ro) :- label(X,Y,rmi), label(Y,Z,rp).
286 % rmi o rpi = r>
287 label(X,Z,rpi) :- label(X,Y,rmi), label(Y,Z,rpi).
288 % rmi o rd = rd f oi
289 label(X,Z,rd) | label(X,Z,rf) | label(X,Z,roi) :- label(X,Y,rmi), label(Y,Z,rd).
290 % rmi o rdi = r>
291 label(X,Z,rpi) :- label(X,Y,rmi), label(Y,Z,rdi).
292 % rmi o rs = rd f oi
293 label(X,Z,rd) | label(X,Z,rf) | label(X,Z,roi) :- label(X,Y,rmi), label(Y,Z,rs).
294 % rmi o rsi = r>
295 label(X,Z,rpi) :- label(X,Y,rmi), label(Y,Z,rsi).
296 % rmi o rf = rmi
297 label(X,Z,rmi) :- label(X,Y,rmi), label(Y,Z,rf).
298 % rmi o rfi = rmi
299 label(X,Z,rmi) :- label(X,Y,rmi), label(Y,Z,rfi).
300 % rmi o rm = r= s si
301 label(X,Z,req) | label(X,Z,rs) | label(X,Z,rsi) :- label(X,Y,rmi), label(Y,Z,rm).
302 % rmi o rmi = r>
303 label(X,Z,rpi) :- label(X,Y,rmi), label(Y,Z,rmi).
304 % rmi o ro = rd f oi
305 label(X,Z,rd) | label(X,Z,rf) | label(X,Z,roi) :- label(X,Y,rmi), label(Y,Z,ro).
306 % rmi o roi = r>
307 label(X,Z,rpi) :- label(X,Y,rmi), label(Y,Z,roi).
308 % ro o req = ro
309 label(X,Z,ro) :- label(X,Y,ro), label(Y,Z,req).
310 % ro o rp = r<
311 label(X,Z,rp) :- label(X,Y,ro), label(Y,Z,rp).
312 % ro o rpi = r> di si mi oi
313 label(X,Z,rpi) | label(X,Z,rdi) | label(X,Z,rsi) | label(X,Z,rmi) | label(X,Z,roi) :- label(X,Y,ro), label(Y,Z,rpi).
314 % ro o rd = rd s o
315 label(X,Z,rd) | label(X,Z,rs) | label(X,Z,ro) :- label(X,Y,ro), label(Y,Z,rd).
316 % ro o rdi = r< di fi m o
317 label(X,Z,rp) | label(X,Z,rdi) | label(X,Z,rfi) | label(X,Z,rm) | label(X,Z,ro) :- label(X,Y,ro), label(Y,Z,rdi).
318 % ro o rs = ro
319 label(X,Z,ro) :- label(X,Y,ro), label(Y,Z,rs).
320 % ro o rsi = rdi fi o
321 label(X,Z,rdi) | label(X,Z,rfi) | label(X,Z,ro) :- label(X,Y,ro), label(Y,Z,rsi).
322 % ro o rf = rd s o
323 label(X,Z,rd) | label(X,Z,rs) | label(X,Z,ro) :- label(X,Y,ro), label(Y,Z,rf).
324 % ro o rfi = r< m o
325 label(X,Z,rp) | label(X,Z,rm) | label(X,Z,ro) :- label(X,Y,ro), label(Y,Z,rfi).
326 % ro o rm = r<
327 label(X,Z,rp) :- label(X,Y,ro), label(Y,Z,rm).
328 % ro o rmi = rdi si oi
329 label(X,Z,rdi) | label(X,Z,rsi) | label(X,Z,roi) :- label(X,Y,ro), label(Y,Z,rmi).
330 % ro o ro = r< m o
331 label(X,Z,rp) | label(X,Z,rm) | label(X,Z,ro) :- label(X,Y,ro), label(Y,Z,ro).
332 % ro o roi = r= d di s si f fi o oi
333 label(X,Z,req) | label(X,Z,rd) | label(X,Z,rdi) | label(X,Z,rs) | label(X,Z,rsi) | label(X,Z,rf) | label(X,Z,rfi) | label(X,Z,ro) | label(X,Z,roi) :- label(X,Y,ro), label(Y,Z,roi).
334 % roi o req = roi
335 label(X,Z,roi) :- label(X,Y,roi), label(Y,Z,req).
336 % roi o rp = r< di fi m o
337 label(X,Z,rp) | label(X,Z,rdi) | label(X,Z,rfi) | label(X,Z,rm) | label(X,Z,ro) :- label(X,Y,roi), label(Y,Z,rp).
338 % roi o rpi = r>
339 label(X,Z,rpi) :- label(X,Y,roi), label(Y,Z,rpi).
340 % roi o rd = rd f oi
341 label(X,Z,rd) | label(X,Z,rf) | label(X,Z,roi) :- label(X,Y,roi), label(Y,Z,rd).
342 % roi o rdi = r> di si mi oi
343 label(X,Z,rpi) | label(X,Z,rdi) | label(X,Z,rsi) | label(X,Z,rmi) | label(X,Z,roi) :- label(X,Y,roi), label(Y,Z,rdi).
344 % roi o rs = rd f oi
345 label(X,Z,rd) | label(X,Z,rf) | label(X,Z,roi) :- label(X,Y,roi), label(Y,Z,rs).
346 % roi o rsi = r> mi oi
347 label(X,Z,rpi) | label(X,Z,rmi) | label(X,Z,roi) :- label(X,Y,roi), label(Y,Z,rsi).
348 % roi o rf = roi
349 label(X,Z,roi) :- label(X,Y,roi), label(Y,Z,rf).
350 % roi o rfi = rdi si oi
351 label(X,Z,rdi) | label(X,Z,rsi) | label(X,Z,roi) :- label(X,Y,roi), label(Y,Z,rfi).
352 % roi o rm = rdi fi o
353 label(X,Z,rdi) | label(X,Z,rfi) | label(X,Z,ro) :- label(X,Y,roi), label(Y,Z,rm).
354 % roi o rmi = r>
355 label(X,Z,rpi) :- label(X,Y,roi), label(Y,Z,rmi).
356 % roi o ro = r= d di s si f fi o oi
357 label(X,Z,req) | label(X,Z,rd) | label(X,Z,rdi) | label(X,Z,rs) | label(X,Z,rsi) | label(X,Z,rf) | label(X,Z,rfi) | label(X,Z,ro) | label(X,Z,roi) :- label(X,Y,roi), label(Y,Z,ro).
358 % roi o roi = r> mi oi
359 label(X,Z,rpi) | label(X,Z,rmi) | label(X,Z,roi) :- label(X,Y,roi), label(Y,Z,roi).
Attached Files
You are not allowed to attach a file to this page.