Моделирование объекта странствующие рыцари / Моделирование объекта
.doc198 15 Exit: knight(1,100,0,0,0,1) ?
199 15 Call: write('Step #') ?
Step #
199 15 Exit: write('Step #') ?
200 15 Call: write(1) ?
1
200 15 Exit: write(1) ?
201 15 Call: nl ?
201 15 Exit: nl ?
202 15 Call: write('Knight #') ?
Knight #
202 15 Exit: write('Knight #') ?
203 15 Call: write(1) ?
1
203 15 Exit: write(1) ?
204 15 Call: nl ?
204 15 Exit: nl ?
205 15 Call: write('HP : ') ?
HP :
205 15 Exit: write('HP : ') ?
206 15 Call: write(100) ?
100
206 15 Exit: write(100) ?
207 15 Call: nl ?
207 15 Exit: nl ?
208 15 Call: write('XP : ') ?
XP :
208 15 Exit: write('XP : ') ?
209 15 Call: write(0) ?
0
209 15 Exit: write(0) ?
210 15 Call: nl ?
210 15 Exit: nl ?
211 15 Call: write('X : ') ?
X :
211 15 Exit: write('X : ') ?
212 15 Call: write(0) ?
0
212 15 Exit: write(0) ?
213 15 Call: nl ?
213 15 Exit: nl ?
214 15 Call: write('Y : ') ?
Y :
214 15 Exit: write('Y : ') ?
215 15 Call: write(0) ?
0
215 15 Exit: write(0) ?
216 15 Call: nl ?
216 15 Exit: nl ?
217 15 Call: write('LVL : ') ?
LVL :
217 15 Exit: write('LVL : ') ?
218 15 Call: write(1) ?
1
218 15 Exit: write(1) ?
219 15 Call: nl ?
219 15 Exit: nl ?
197 14 Exit: show(1,1) ?
220 14 Call: retract(knight(1,100,0,0,0,1)) ?
220 14 Exit: retract(knight(1,100,0,0,0,1)) ?
221 14 Call: asserta(knight(1,100,0,0,1,1)) ?
221 14 Exit: asserta(knight(1,100,0,0,1,1)) ?
222 14 Call: act(1,100,0,0,1,1) ?
223 15 Call: random(_6008) ?
223 15 Exit: random(0.513519287109375) ?
224 15 Call: _6038 is 0.513519287109375*100 ?
224 15 Exit: 51.3519287109375 is 0.513519287109375*100 ?
225 15 Call: 51.3519287109375=<5 ?
225 15 Fail: 51.3519287109375=<5 ?
225 15 Call: 51.3519287109375>5 ?
225 15 Exit: 51.3519287109375>5 ?
226 15 Call: 51.3519287109375=<10 ?
226 15 Fail: 51.3519287109375=<10 ?
225 15 Call: 51.3519287109375>10 ?
225 15 Exit: 51.3519287109375>10 ?
226 15 Call: 51.3519287109375=<20 ?
226 15 Fail: 51.3519287109375=<20 ?
225 15 Call: 51.3519287109375>20 ?
225 15 Exit: 51.3519287109375>20 ?
226 15 Call: 51.3519287109375=<50 ?
226 15 Fail: 51.3519287109375=<50 ?
225 15 Call: 51.3519287109375>50 ?
225 15 Exit: 51.3519287109375>50 ?
226 15 Call: write('Hm...nothing!') ?
Hm...nothing!
226 15 Exit: write('Hm...nothing!') ?
227 15 Call: nl ?
227 15 Exit: nl ?
222 14 Exit: act(1,100,0,0,1,1) ?
228 14 Call: show(1,1) ?
229 15 Call: knight(1,_6165,_6166,_6167,_6168,_6169) ?
229 15 Exit: knight(1,100,0,0,1,1) ?
230 15 Call: write('Step #') ?
Step #
230 15 Exit: write('Step #') ?
231 15 Call: write(1) ?
1
231 15 Exit: write(1) ?
232 15 Call: nl ?
232 15 Exit: nl ?
233 15 Call: write('Knight #') ?
Knight #
233 15 Exit: write('Knight #') ?
234 15 Call: write(1) ?
1
234 15 Exit: write(1) ?
235 15 Call: nl ?
235 15 Exit: nl ?
236 15 Call: write('HP : ') ?
HP :
236 15 Exit: write('HP : ') ?
237 15 Call: write(100) ?
100
237 15 Exit: write(100) ?
238 15 Call: nl ?
238 15 Exit: nl ?
239 15 Call: write('XP : ') ?
XP :
239 15 Exit: write('XP : ') ?
240 15 Call: write(0) ?
0
240 15 Exit: write(0) ?
241 15 Call: nl ?
241 15 Exit: nl ?
242 15 Call: write('X : ') ?
X :
242 15 Exit: write('X : ') ?
243 15 Call: write(0) ?
0
243 15 Exit: write(0) ?
244 15 Call: nl ?
244 15 Exit: nl ?
245 15 Call: write('Y : ') ?
Y :
245 15 Exit: write('Y : ') ?
246 15 Call: write(1) ?
1
246 15 Exit: write(1) ?
247 15 Call: nl ?
247 15 Exit: nl ?
248 15 Call: write('LVL : ') ?
LVL :
248 15 Exit: write('LVL : ') ?
249 15 Call: write(1) ?
1
249 15 Exit: write(1) ?
250 15 Call: nl ?
250 15 Exit: nl ?
228 14 Exit: show(1,1) ?
251 14 Call: movehy([2],1) ?
252 15 Call: knight(2,_6719,_6720,_6721,_6722,_6723) ?
252 15 Exit: knight(2,100,55,0,1,1) ?
253 15 Call: _6757 is 1+1 ?
253 15 Exit: 2 is 1+1 ?
254 15 Call: show(2,1) ?
255 16 Call: knight(2,_6810,_6811,_6812,_6813,_6814) ?
255 16 Exit: knight(2,100,55,0,1,1) ?
256 16 Call: write('Step #') ?
Step #
256 16 Exit: write('Step #') ?
257 16 Call: write(1) ?
1
257 16 Exit: write(1) ?
258 16 Call: nl ?
258 16 Exit: nl ?
259 16 Call: write('Knight #') ?
Knight #
259 16 Exit: write('Knight #') ?
260 16 Call: write(2) ?
2
260 16 Exit: write(2) ?
261 16 Call: nl ?
261 16 Exit: nl ?
262 16 Call: write('HP : ') ?
HP :
262 16 Exit: write('HP : ') ?
263 16 Call: write(100) ?
100
263 16 Exit: write(100) ?
264 16 Call: nl ?
264 16 Exit: nl ?
265 16 Call: write('XP : ') ?
XP :
265 16 Exit: write('XP : ') ?
266 16 Call: write(55) ?
55
266 16 Exit: write(55) ?
267 16 Call: nl ?
267 16 Exit: nl ?
268 16 Call: write('X : ') ?
X :
268 16 Exit: write('X : ') ?
269 16 Call: write(0) ?
0
269 16 Exit: write(0) ?
270 16 Call: nl ?
270 16 Exit: nl ?
271 16 Call: write('Y : ') ?
Y :
271 16 Exit: write('Y : ') ?
272 16 Call: write(1) ?
1
272 16 Exit: write(1) ?
273 16 Call: nl ?
273 16 Exit: nl ?
274 16 Call: write('LVL : ') ?
LVL :
274 16 Exit: write('LVL : ') ?
275 16 Call: write(1) ?
1
275 16 Exit: write(1) ?
276 16 Call: nl ?
276 16 Exit: nl ?
254 15 Exit: show(2,1) ?
277 15 Call: retract(knight(2,100,55,0,1,1)) ?
277 15 Exit: retract(knight(2,100,55,0,1,1)) ?
278 15 Call: asserta(knight(2,100,55,0,2,1)) ?
278 15 Exit: asserta(knight(2,100,55,0,2,1)) ?
279 15 Call: act(2,100,55,0,2,1) ?
280 16 Call: random(_7435) ?
280 16 Exit: random(0.303985595703125) ?
281 16 Call: _7465 is 0.303985595703125*100 ?
281 16 Exit: 30.3985595703125 is 0.303985595703125*100 ?
282 16 Call: 30.3985595703125=<5 ?
282 16 Fail: 30.3985595703125=<5 ?
282 16 Call: 30.3985595703125>5 ?
282 16 Exit: 30.3985595703125>5 ?
283 16 Call: 30.3985595703125=<10 ?
283 16 Fail: 30.3985595703125=<10 ?
282 16 Call: 30.3985595703125>10 ?
282 16 Exit: 30.3985595703125>10 ?
283 16 Call: 30.3985595703125=<20 ?
283 16 Fail: 30.3985595703125=<20 ?
282 16 Call: 30.3985595703125>20 ?
282 16 Exit: 30.3985595703125>20 ?
283 16 Call: 30.3985595703125=<50 ?
283 16 Exit: 30.3985595703125=<50 ?
284 16 Call: write('Monster!') ?
Monster!
284 16 Exit: write('Monster!') ?
285 16 Call: nl ?
285 16 Exit: nl ?
286 16 Call: battlemonster(2,100,55,0,2,1) ?
287 17 Call: random(_7615) ?
287 17 Exit: random(0.014984130859375) ?
288 17 Call: _7645 is 0.014984130859375*100 ?
288 17 Exit: 1.4984130859375 is 0.014984130859375*100 ?
289 17 Call: _7675 is 50+1 ?
289 17 Exit: 51 is 50+1 ?
290 17 Call: 51>80 ?
290 17 Fail: 51>80 ?
290 17 Call: 51=<80 ?
290 17 Exit: 51=<80 ?
291 17 Call: _7687 is 51 ?
291 17 Exit: 51 is 51 ?
292 17 Call: 1.4984130859375=<51 ?
292 17 Exit: 1.4984130859375=<51 ?
293 17 Call: killmonster(2,100,55,0,2,1) ?
294 18 Call: write('I killed monster!') ?
I killed monster!
294 18 Exit: write('I killed monster!') ?
295 18 Call: nl ?
295 18 Exit: nl ?
296 18 Call: _7856 is 55+1*3 ?
296 18 Exit: 58 is 55+1*3 ?
297 18 Call: retract(knight(2,100,55,0,2,1)) ?
297 18 Exit: retract(knight(2,100,55,0,2,1)) ?
298 18 Call: asserta(knight(2,100,58,0,2,1)) ?
298 18 Exit: asserta(knight(2,100,58,0,2,1)) ?
299 18 Call: ulvl(2,100,58,0,2,1) ?
300 19 Call: _7993 is 58-1*3*(1*5) ?
300 19 Exit: 43 is 58-1*3*(1*5) ?
301 19 Call: 43>0 ?
301 19 Exit: 43>0 ?
302 19 Call: write('Lvl up!') ?
Lvl up!
302 19 Exit: write('Lvl up!') ?
303 19 Call: nl ?
303 19 Exit: nl ?
304 19 Call: _8089 is 100 ?
304 19 Exit: 100 is 100 ?
305 19 Call: _8117 is 1+1 ?
305 19 Exit: 2 is 1+1 ?
306 19 Call: retract(knight(2,100,58,0,2,1)) ?
306 19 Exit: retract(knight(2,100,58,0,2,1)) ?
307 19 Call: asserta(knight(2,100,58,0,2,2)) ?
307 19 Exit: asserta(knight(2,100,58,0,2,2)) ?
299 18 Exit: ulvl(2,100,58,0,2,1) ?
293 17 Exit: killmonster(2,100,55,0,2,1) ?
286 16 Exit: battlemonster(2,100,55,0,2,1) ?
279 15 Exit: act(2,100,55,0,2,1) ?
308 15 Call: show(2,1) ?
309 16 Call: knight(2,_8246,_8247,_8248,_8249,_8250) ?
309 16 Exit: knight(2,100,58,0,2,2) ?
310 16 Call: write('Step #') ?
Step #
310 16 Exit: write('Step #') ?
311 16 Call: write(1) ?
1
311 16 Exit: write(1) ?
312 16 Call: nl ?
312 16 Exit: nl ?
313 16 Call: write('Knight #') ?
Knight #
313 16 Exit: write('Knight #') ?
314 16 Call: write(2) ?
2
314 16 Exit: write(2) ?
315 16 Call: nl ?
315 16 Exit: nl ?
316 16 Call: write('HP : ') ?
HP :
316 16 Exit: write('HP : ') ?
317 16 Call: write(100) ?
100
317 16 Exit: write(100) ?
318 16 Call: nl ?
318 16 Exit: nl ?
319 16 Call: write('XP : ') ?
XP :
319 16 Exit: write('XP : ') ?
320 16 Call: write(58) ?
58
320 16 Exit: write(58) ?
321 16 Call: nl ?
321 16 Exit: nl ?
322 16 Call: write('X : ') ?
X :
322 16 Exit: write('X : ') ?
323 16 Call: write(0) ?
0
323 16 Exit: write(0) ?
324 16 Call: nl ?
324 16 Exit: nl ?
325 16 Call: write('Y : ') ?
Y :
325 16 Exit: write('Y : ') ?
326 16 Call: write(2) ?
2
326 16 Exit: write(2) ?
327 16 Call: nl ?
327 16 Exit: nl ?
328 16 Call: write('LVL : ') ?
LVL :
328 16 Exit: write('LVL : ') ?
329 16 Call: write(2) ?
2
329 16 Exit: write(2) ?
330 16 Call: nl ?
330 16 Exit: nl ?
308 15 Exit: show(2,1) ?
331 15 Call: movehy([],1) ?
331 15 Exit: movehy([],1) ?
251 14 Exit: movehy([2],1) ?
194 13 Exit: movehy([1,2],1) ?
63 12 Exit: movehy([4,1,2],1) ?
58 11 Exit: moving([4,1,2],1) ?
57 10 Exit: move([4,1,2],0,1) ?
55 9 Exit: movec([4,1,2],[],3,0,1) ?
52 8 Exit: movec([4,1,2],[2],3,0,1) ?
49 7 Exit: movec([4,1,2],[1,2],3,0,1) ?
46 6 Exit: movec([4,1,2],[4,1,2],3,0,1) ?
45 5 Exit: go([4,1,2],3,4,1) ?
332 5 Call: cop([4,1,2],_8807) ?
332 5 Exit: cop([4,1,2],[4,1,2]) ?
30 4 Exit: arround(1,0,0,[1,2],4,2,1,[4,1,2]) ?
17 3 Exit: arround(1,0,0,[2],4,1,1,[4,1,2]) ?
6 2 Exit: arround(1,0,0,[],4,0,1,[4,1,2]) ?
333 2 Call: connect([4,1,2],[],_8836) ?
334 3 Call: connect([1,2],[4],_8863) ?
335 4 Call: connect([2],[1,4],_8890) ?
336 5 Call: connect([],[2,1,4],_8917) ?
336 5 Exit: connect([],[2,1,4],[2,1,4]) ?
335 4 Exit: connect([2],[1,4],[2,1,4]) ?
334 3 Exit: connect([1,2],[4],[2,1,4]) ?
333 2 Exit: connect([4,1,2],[],[2,1,4]) ?
337 2 Call: _8948 is 1+1 ?
337 2 Exit: 2 is 1+1 ?
338 2 Call: analization(4,2,1,[2,1,4]) ?
339 3 Call: 2=<4 ?
339 3 Exit: 2=<4 ?
340 3 Call: member1(2,[2,1,4]) ?
341 4 Call: 2\=2 ?
342 5 Call: 2=2 ?
342 5 Exit: 2=2 ?
341 4 Fail: 2\=2 ?
340 3 Fail: member1(2,[2,1,4]) ?
339 3 Call: 2=<4 ?
339 3 Exit: 2=<4 ?
340 3 Call: _9027 is 2+1 ?
340 3 Exit: 3 is 2+1 ?
341 3 Call: analization(4,3,1,[2,1,4]) ?
342 4 Call: 3=<4 ?
342 4 Exit: 3=<4 ?
343 4 Call: member1(3,[2,1,4]) ?
344 5 Call: 2\=3 ?
345 6 Call: 2=3 ?
345 6 Fail: 2=3 ?
344 5 Exit: 2\=3 ?
345 5 Call: member1(3,[1,4]) ?
346 6 Call: 1\=3 ?
347 7 Call: 1=3 ?
347 7 Fail: 1=3 ?
346 6 Exit: 1\=3 ?
347 6 Call: member1(3,[4]) ?
348 7 Call: 4\=3 ?
349 8 Call: 4=3 ?
349 8 Fail: 4=3 ?
348 7 Exit: 4\=3 ?
349 7 Call: member1(3,[]) ?
350 8 Call: 1==1 ?
350 8 Exit: 1==1 ?
349 7 Exit: member1(3,[]) ?
347 6 Exit: member1(3,[4]) ?
345 5 Exit: member1(3,[1,4]) ?
343 4 Exit: member1(3,[2,1,4]) ?
351 4 Call: knight(3,_9274,_9275,_9319,_9320,_9276) ?
351 4 Fail: knight(3,_9274,_9275,_9307,_9308,_9276) ?
343 4 Redo: member1(3,[2,1,4]) ?
345 5 Redo: member1(3,[1,4]) ?
347 6 Redo: member1(3,[4]) ?
349 7 Redo: member1(3,[]) ?
349 7 Fail: member1(3,[]) ?
347 6 Fail: member1(3,[4]) ?
345 5 Fail: member1(3,[1,4]) ?
343 4 Fail: member1(3,[2,1,4]) ?
342 4 Call: 3=<4 ?
342 4 Exit: 3=<4 ?
343 4 Call: _9106 is 3+1 ?
343 4 Exit: 4 is 3+1 ?
344 4 Call: analization(4,4,1,[2,1,4]) ?
345 5 Call: 4=<4 ?
345 5 Exit: 4=<4 ?
346 5 Call: member1(4,[2,1,4]) ?
347 6 Call: 2\=4 ?
348 7 Call: 2=4 ?
348 7 Fail: 2=4 ?
347 6 Exit: 2\=4 ?
348 6 Call: member1(4,[1,4]) ?
349 7 Call: 1\=4 ?
350 8 Call: 1=4 ?
350 8 Fail: 1=4 ?
349 7 Exit: 1\=4 ?
350 7 Call: member1(4,[4]) ?
351 8 Call: 4\=4 ?
352 9 Call: 4=4 ?
352 9 Exit: 4=4 ?
351 8 Fail: 4\=4 ?
350 7 Fail: member1(4,[4]) ?
348 6 Fail: member1(4,[1,4]) ?
346 5 Fail: member1(4,[2,1,4]) ?
345 5 Call: 4=<4 ?
345 5 Exit: 4=<4 ?
346 5 Call: _9185 is 4+1 ?
346 5 Exit: 5 is 4+1 ?
347 5 Call: analization(4,5,1,[2,1,4]) ?
348 6 Call: 5=<4 ?
348 6 Fail: 5=<4 ?
348 6 Call: 5=<4 ?
348 6 Fail: 5=<4 ?
348 6 Call: 1==1 ?
348 6 Exit: 1==1 ?
347 5 Exit: analization(4,5,1,[2,1,4]) ?
344 4 Exit: analization(4,4,1,[2,1,4]) ?
341 3 Exit: analization(4,3,1,[2,1,4]) ?
338 2 Exit: analization(4,2,1,[2,1,4]) ?
1 1 Exit: analization(4,1,1,[]) ?
(2266 ms) yes
{trace}76171875>10 ?
Вывод:
Программа решает поставленную задачу.