Трассировка программы.
npaints([a,b,c,d,e],N).
1 1 Call: npaints([a,b,c,d,e],_26) ?
2 2 Call: order([a,b,c,d,e],_95) ?
…
2 2 Exit: order([a,b,c,d,e],[d,e,c,a,b]) ?
145 2 Call: onepaint([d,e,c,a,b],[],_3920) ?
146 3 Call: delcon([e,c,a,b],d,[],_3947,_3948) ?
147 4 Call: list(d,_3971) ?
147 4 Exit: list(d,[a,b,c,e]) ?
148 4 Call: del([e,c,a,b],[a,b,c,e],_4007,[],_4008) ?
149 5 Call: memb(e,[a,b,c,e]) ?
…
149 5 Exit: memb(e,[a,b,c,e]) ?
153 5 Call: del([c,a,b],[a,b,c,e],_4136,[e],_4137) ?
154 6 Call: memb(c,[a,b,c,e]) ?
…
154 6 Exit: memb(c,[a,b,c,e]) ?
157 6 Call: del([a,b],[a,b,c,e],_4240,[c,e],_4241) ?
158 7 Call: memb(a,[a,b,c,e]) ?
158 7 Exit: memb(a,[a,b,c,e]) ?
159 7 Call: del([b],[a,b,c,e],_4294,[a,c,e],_4295) ?
160 8 Call: memb(b,[a,b,c,e]) ?
…
160 8 Exit: memb(b,[a,b,c,e]) ?
162 8 Call: del([],[a,b,c,e],_4373,[b,a,c,e],_4374) ?
162 8 Exit: del([],[a,b,c,e],[],[b,a,c,e],[b,a,c,e]) ?
159 7 Exit: del([b],[a,b,c,e],[],[a,c,e],[b,a,c,e]) ?
157 6 Exit: del([a,b],[a,b,c,e],[],[c,e],[b,a,c,e]) ?
153 5 Exit: del([c,a,b],[a,b,c,e],[],[e],[b,a,c,e]) ?
148 4 Exit: del([e,c,a,b],[a,b,c,e],[],[],[b,a,c,e]) ?
163 4 Call: conc([],[b,a,c,e],_4403) ?
163 4 Exit: conc([],[b,a,c,e],[b,a,c,e]) ?
146 3 Exit: delcon([e,c,a,b],d,[],[],[b,a,c,e]) ?
164 3 Call: onepaint([],[b,a,c,e],_4430) ?
164 3 Exit: onepaint([],[b,a,c,e],[b,a,c,e]) ?
145 2 Exit: onepaint([d,e,c,a,b],[],[b,a,c,e]) ?
165 2 Call: npaints([b,a,c,e],_4456) ?
166 3 Call: order([b,a,c,e],_4480) ?
…
166 3 Exit: order([b,a,c,e],[e,c,a,b]) ?
265 3 Call: onepaint([e,c,a,b],[],_7121) ?
266 4 Call: delcon([c,a,b],e,[],_7148,_7149) ?
267 5 Call: list(e,_7172) ?
267 5 Exit: list(e,[a,c,d]) ?
268 5 Call: del([c,a,b],[a,c,d],_7206,[],_7207) ?
269 6 Call: memb(c,[a,c,d]) ?
…
269 6 Exit: memb(c,[a,c,d]) ?
271 6 Call: del([a,b],[a,c,d],_7285,[c],_7286) ?
272 7 Call: memb(a,[a,c,d]) ?
272 7 Exit: memb(a,[a,c,d]) ?
273 7 Call: del([b],[a,c,d],_7339,[a,c],_7340) ?
274 8 Call: memb(b,[a,c,d]) ?
…
274 8 Fail: memb(b,[a,c,d]) ?
274 8 Call: del([],[a,c,d],_7326,[a,c],_7368) ?
274 8 Exit: del([],[a,c,d],[],[a,c],[a,c]) ?
273 7 Exit: del([b],[a,c,d],[b],[a,c],[a,c]) ?
271 6 Exit: del([a,b],[a,c,d],[b],[c],[a,c]) ?
268 5 Exit: del([c,a,b],[a,c,d],[b],[],[a,c]) ?
275 5 Call: conc([],[a,c],_7397) ?
275 5 Exit: conc([],[a,c],[a,c]) ?
266 4 Exit: delcon([c,a,b],e,[],[b],[a,c]) ?
276 4 Call: onepaint([b],[a,c],_7424) ?
277 5 Call: delcon([],b,[a,c],_7451,_7452) ?
278 6 Call: list(b,_7475) ?
278 6 Exit: list(b,[c]) ?
279 6 Call: del([],[c],_7505,[],_7506) ?
279 6 Exit: del([],[c],[],[],[]) ?
280 6 Call: conc([a,c],[],_7531) ?
281 7 Call: conc([c],[],_7556) ?
282 8 Call: conc([],[],_7581) ?
282 8 Exit: conc([],[],[]) ?
281 7 Exit: conc([c],[],[c]) ?
280 6 Exit: conc([a,c],[],[a,c]) ?
277 5 Exit: delcon([],b,[a,c],[],[a,c]) ?
283 5 Call: onepaint([],[a,c],_7614) ?
283 5 Exit: onepaint([],[a,c],[a,c]) ?
276 4 Exit: onepaint([b],[a,c],[a,c]) ?
265 3 Exit: onepaint([e,c,a,b],[],[a,c]) ?
284 3 Call: npaints([a,c],_7641) ?
285 4 Call: order([a,c],_7665) ?
…
285 4 Exit: order([a,c],[c,a]) ?
306 4 Call: onepaint([c,a],[],_8225) ?
307 5 Call: delcon([a],c,[],_8252,_8253) ?
308 6 Call: list(c,_8276) ?
308 6 Exit: list(c,[b,e,d]) ?
309 6 Call: del([a],[b,e,d],_8310,[],_8311) ?
310 7 Call: memb(a,[b,e,d]) ?
…
310 7 Fail: memb(a,[b,e,d]) ?
310 7 Call: del([],[b,e,d],_8297,[],_8339) ?
310 7 Exit: del([],[b,e,d],[],[],[]) ?
309 6 Exit: del([a],[b,e,d],[a],[],[]) ?
311 6 Call: conc([],[],_8366) ?
311 6 Exit: conc([],[],[]) ?
307 5 Exit: delcon([a],c,[],[a],[]) ?
312 5 Call: onepaint([a],[],_8393) ?
313 6 Call: delcon([],a,[],_8420,_8421) ?
314 7 Call: list(a,_8444) ?
314 7 Exit: list(a,[e,d]) ?
315 7 Call: del([],[e,d],_8476,[],_8477) ?
315 7 Exit: del([],[e,d],[],[],[]) ?
316 7 Call: conc([],[],_8502) ?
316 7 Exit: conc([],[],[]) ?
313 6 Exit: delcon([],a,[],[],[]) ?
317 6 Call: onepaint([],[],_8529) ?
317 6 Exit: onepaint([],[],[]) ?
312 5 Exit: onepaint([a],[],[]) ?
306 4 Exit: onepaint([c,a],[],[]) ?
318 4 Call: npaints([],_8556) ?
318 4 Exit: npaints([],0) ?
319 4 Call: _8584 is 0+1 ?
319 4 Exit: 1 is 0+1 ?
284 3 Exit: npaints([a,c],1) ?
320 3 Call: _8613 is 1+1 ?
320 3 Exit: 2 is 1+1 ?
165 2 Exit: npaints([b,a,c,e],2) ?
321 2 Call: _26 is 2+1 ?
321 2 Exit: 3 is 2+1 ?
1 1 Exit: npaints([a,b,c,d,e],3) ?