Морской бой в Прологе / пролог
.doc20 8 Call: member(2,[0,1,2,3,4,5,6,7,...]) ?
20 8 Exit: member(2,[0,1,2,3,4,5,6,7,...]) ?
11 7 Exit: memberItem(0/2/4/1,0,0) ?
21 7 Call: _835 is 0+1*(4-1) ?
21 7 Exit: 3 is 0+1*(4-1) ?
22 7 Call: _872 is 2+(1-1)*(4-1) ?
22 7 Exit: 2 is 2+(1-1)*(4-1) ?
23 7 Call: noattackReef_1n(0/2/3/2,end_of_file) ?
23 7 Fail: noattackReef_1n(0/2/3/2,end_of_file) ?
11 7 Redo: memberItem(0/2/4/1,0,0) ?
20 8 Redo: member(2,[0,1,2,3,4,5,6,7,...]) ?
20 8 Fail: member(2,[0,1,2,3,4,5,6,7,...]) ?
18 8 Redo: member(3,[0,1,2,3,4,5,6,7,...]) ?
18 8 Fail: member(3,[0,1,2,3,4,5,6,7,...]) ?
15 8 Redo: member(1,[0,1]) ?
15 8 Fail: member(_200,[0,1]) ?
14 8 Redo: member(2,[0,1,2,3,4,5,6,7,...]) ?
14 8 Exit: member(3,[0,1,2,3,4,5,6,7,...]) ?
15 8 Call: member(_200,[0,1]) ?
15 8 Exit: member(0,[0,1]) ?
16 8 Call: 0*10+3>0*10+0 ?
16 8 Exit: 0*10+3>0*10+0 ?
17 8 Call: _673 is 0+0*(4-1) ?
17 8 Exit: 0 is 0+0*(4-1) ?
18 8 Call: member(0,[0,1,2,3,4,5,6,7,...]) ?
18 8 Exit: member(0,[0,1,2,3,4,5,6,7,...]) ?
19 8 Call: _755 is 3+(1-0)*(4-1) ?
19 8 Exit: 6 is 3+(1-0)*(4-1) ?
20 8 Call: member(6,[0,1,2,3,4,5,6,7,...]) ?
20 8 Exit: member(6,[0,1,2,3,4,5,6,7,...]) ?
11 7 Exit: memberItem(0/3/4/0,0,0) ?
21 7 Call: _835 is 0+0*(4-1) ?
21 7 Exit: 0 is 0+0*(4-1) ?
22 7 Call: _872 is 3+(1-0)*(4-1) ?
22 7 Exit: 6 is 3+(1-0)*(4-1) ?
23 7 Call: noattackReef_1n(0/3/0/6,end_of_file) ?
23 7 Fail: noattackReef_1n(0/3/0/6,end_of_file) ?
11 7 Redo: memberItem(0/3/4/0,0,0) ?
20 8 Redo: member(6,[0,1,2,3,4,5,6,7,...]) ?
20 8 Fail: member(6,[0,1,2,3,4,5,6,7,...]) ?
18 8 Redo: member(0,[0,1,2,3,4,5,6,7,...]) ?
18 8 Fail: member(0,[0,1,2,3,4,5,6,7,...]) ?
15 8 Redo: member(0,[0,1]) ?
15 8 Exit: member(1,[0,1]) ?
16 8 Call: 0*10+3>0*10+0 ?
16 8 Exit: 0*10+3>0*10+0 ?
17 8 Call: _673 is 0+1*(4-1) ?
17 8 Exit: 3 is 0+1*(4-1) ?
18 8 Call: member(3,[0,1,2,3,4,5,6,7,...]) ?
18 8 Exit: member(3,[0,1,2,3,4,5,6,7,...]) ?
19 8 Call: _755 is 3+(1-1)*(4-1) ?
19 8 Exit: 3 is 3+(1-1)*(4-1) ?
20 8 Call: member(3,[0,1,2,3,4,5,6,7,...]) ?
20 8 Exit: member(3,[0,1,2,3,4,5,6,7,...]) ?
11 7 Exit: memberItem(0/3/4/1,0,0) ?
21 7 Call: _835 is 0+1*(4-1) ?
21 7 Exit: 3 is 0+1*(4-1) ?
22 7 Call: _872 is 3+(1-1)*(4-1) ?
22 7 Exit: 3 is 3+(1-1)*(4-1) ?
23 7 Call: noattackReef_1n(0/3/3/3,end_of_file) ?
23 7 Fail: noattackReef_1n(0/3/3/3,end_of_file) ?
11 7 Redo: memberItem(0/3/4/1,0,0) ?
20 8 Redo: member(3,[0,1,2,3,4,5,6,7,...]) ?
20 8 Fail: member(3,[0,1,2,3,4,5,6,7,...]) ?
18 8 Redo: member(3,[0,1,2,3,4,5,6,7,...]) ?
18 8 Fail: member(3,[0,1,2,3,4,5,6,7,...]) ?
15 8 Redo: member(1,[0,1]) ?
15 8 Fail: member(_200,[0,1]) ?
14 8 Redo: member(3,[0,1,2,3,4,5,6,7,...]) ?
14 8 Exit: member(4,[0,1,2,3,4,5,6,7,...]) ?
15 8 Call: member(_200,[0,1]) ?
15 8 Exit: member(0,[0,1]) ?
16 8 Call: 0*10+4>0*10+0 ?
16 8 Exit: 0*10+4>0*10+0 ?
17 8 Call: _673 is 0+0*(4-1) ?
17 8 Exit: 0 is 0+0*(4-1) ?
18 8 Call: member(0,[0,1,2,3,4,5,6,7,...]) ?