2
|
1 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
|
2 %%
|
|
3 %% LITE Tcl/Tk interface
|
|
4 %%
|
|
5 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
|
6
|
|
7 % :- ensure_loaded('../tableau/lite').
|
|
8 :- module(lite).
|
|
9 :- use_module(library(tcltk)).
|
|
10 :- verbose(off).
|
|
11
|
|
12 :- dynamic r_event/2.
|
|
13
|
|
14 :- abolish(show_state,2).
|
|
15 % Next command keep check event during verification
|
|
16 show_state(S,ITL) :-!,
|
|
17 (tcl_eval(update);true),!,
|
|
18 bdt2itl(ITL,ITL1),
|
|
19 nl,write('state('),write(S), % (
|
|
20 (verbose,write(' , '), write(ITL1),write(')'),nl;write(')')),!.
|
|
21
|
|
22 event(verbose,'1') :- verbose(on).
|
|
23 event(verbose,'0') :- verbose(off).
|
|
24 event(X,Y) :- assertz(r_event(X,Y)). % ,write((X,Y)),nl.
|
|
25 event(X) :- assertz(r_event(X,[])). % ,write((X)),nl.
|
|
26
|
|
27 next(X,Y) :- r_event(_,_),retract(r_event(X,Y)),!.
|
|
28 next(X,Y) :- tk_do_one_event(0),!,
|
|
29 next(X,Y).
|
|
30
|
|
31 display :-
|
|
32 init_display,!,
|
19
|
33 event_loop(run),
|
|
34 tcl_exit.
|
|
35
|
|
36 tcl_exit :-
|
|
37 tcl(X),tcl_delete(X),retract(tcl(X)).
|
|
38
|
|
39 tcl_name(L,Name) :-
|
|
40 concatenate(L,L1),
|
|
41 name(Name,L1).
|
|
42
|
|
43 concatenate([],[]).
|
|
44 concatenate([H|T],X) :- atomic(H),!,
|
|
45 name(H,List),concatenate(T,X1),append(List,X1,X).
|
|
46 concatenate([H|T],X) :- H=[_|_],
|
|
47 concatenate(T,X1),append(H,X1,X).
|
|
48
|
|
49 tcl_eval(E) :- atomic(E),!,
|
|
50 tcl(Tcl),tcl_eval(Tcl,E,_).
|
|
51 tcl_eval(E) :- E=[_|_],tcl_name(E,N),
|
|
52 tcl(Tcl),tcl_eval(Tcl,N,_).
|
2
|
53
|
|
54 init_display :-
|
|
55 (retract(r_event(_,_)),fail;true),
|
19
|
56 tk_new([name('Lite Verifier')], Tcl),
|
|
57 assert(tcl(Tcl)),
|
2
|
58 % tcl_eval('source disp.tcl'),
|
|
59 tcl_eval('source xf-disp'),
|
|
60 all_disable.
|
|
61 canvas_origin(20,20).
|
|
62
|
|
63 event_loop(quit):-!.
|
|
64 event_loop(_) :-
|
|
65 next(X,Y),execute(X,Y),!,event_loop(X).
|
|
66
|
|
67 execute(verify,X) :- !,
|
|
68 verify(X).
|
|
69
|
|
70 % !,X=1 -> verbose(on); verbose(off). causes error
|
|
71 execute(verbose,X) :- X='1' -> verbose(on); verbose(off).
|
|
72 execute(map,X) :- !,name(X,L),name(X1,L),view_state(a,X1).
|
|
73 execute(execute,_) :- !,do_execute,!.
|
|
74 execute(generate,_) :- !,
|
|
75 generate.
|
|
76 execute(counter,_) :- !,do_diagnosis,!.
|
|
77 execute(quit,_) :- !. % ,tcl_eval('destroy .').
|
|
78 execute(prolog_call,X) :- !,prolog_call(X).
|
|
79 execute(tokio_call,X) :- !,tokio_call(X).
|
|
80 execute(X,_) :- !,write(event(X)),nl,ttyflush.
|
|
81
|
|
82 generate :-
|
|
83 TOKIO = 'tmp.tokio',
|
|
84 tell(TOKIO),tgen,told,
|
|
85 user:com(TOKIO,'tmp.out').
|
|
86 gen(X) :- consult(X),specification(Y),ex(Y),generate.
|
|
87 gen(X) :-
|
|
88 name(X,XL),append(XL,".lite",YL),name(X1,YL),
|
|
89 consult(X1),specification(Y),ex(Y),generate.
|
|
90
|
|
91 verify(X) :-
|
|
92 all_disable,
|
|
93 abolish(st,3),abolish(specification,1),abolish(st_variables,2),
|
|
94 t2string(X,X0),s2terms(X0,X1),command(X1,X2,X3),
|
|
95 display_contents(X3),
|
|
96 ex(X2),!,
|
|
97 ttyflush, display_statistics,
|
|
98 all_enable.
|
|
99 verify(_) :-
|
|
100 all_disable.
|
19
|
101
|
2
|
102 display_contents(X) :-
|
19
|
103 ttyflush,t2string(X,XS0),easy_pp(XS0,XS),
|
2
|
104 tcl_eval('$symbolicName(entry) delete 0.0 end'),
|
|
105 tcl_eval(['$symbolicName(entry) insert 0.0 {',XS,'}']),
|
|
106 display_update.
|
|
107
|
|
108 all_disable :-
|
|
109 tcl_eval('$symbolicName(map) configure -state disabled'),
|
|
110 tcl_eval('$symbolicName(execute) configure -state disabled'),
|
|
111 tcl_eval('$symbolicName(diag) configure -state disabled'),
|
|
112 display_update.
|
|
113 all_enable :-
|
|
114 tcl_eval('$symbolicName(map) configure -state normal'),
|
|
115 tcl_eval('$symbolicName(execute) configure -state normal'),
|
|
116 tcl_eval('$symbolicName(diag) configure -state normal'),
|
|
117 display_update.
|
|
118
|
|
119 % Backtrack Control of example/counter example
|
|
120
|
|
121 do_execute :- display_exe('.'),next(X,Y),do_execute(X,Y),!.
|
|
122 do_execute.
|
|
123
|
|
124 do_execute(execute,_) :-!,
|
|
125 fail.
|
|
126 do_execute(X,Y) :- execute(X,Y),!.
|
|
127
|
|
128 do_diagnosis :- display_diag(','),next(X,Y),do_diagnosis(X,Y),!.
|
|
129 do_diagnosis.
|
|
130
|
|
131 do_diagnosis(diag,_) :-!,
|
|
132 fail.
|
|
133 do_diagnosis(X,Y) :- execute(X,Y),!.
|
|
134
|
|
135 % :- dynamic specification/1.
|
|
136
|
|
137 % Text Based Commnad
|
|
138
|
|
139 command([st(X,Y,Z)|T],Term,[st(X,Y,Z)|T1]):-!,
|
|
140 assertz(st(X,Y,Z)),!,
|
|
141 command(T,Term,T1).
|
|
142 command([specification(X)|T],X,[specification(X)|T1]):-!,
|
|
143 command(T,X,T1).
|
|
144 command([st_variables(X,Y)|T],Term,[st_variables(X,Y)|T1]):-!,
|
|
145 assertz(st_variables(X,Y)),
|
|
146 command(T,Term,T1).
|
|
147 command([],true,[]) :-!.
|
|
148 command([],_,[]) :-!.
|
|
149 command([H],Term,[Term1]) :-!,
|
|
150 command(H,Term),!,Term=Term1.
|
|
151 command([H|T],(Term1,Terms),[Term1|T1]) :-
|
|
152 command(H,Term1),!,command(T,Terms,T1).
|
|
153
|
|
154 command(demo(X),Term):-!,lite:demo(X,Term). % predefined examples
|
|
155 command(ex(X),Term):-!,ex(X,Term).
|
|
156 command(prolog(X,P),X):-!,safe_call(P).
|
|
157 command(prolog(P),true):-!,safe_call(P).
|
|
158 command(tokio(P),true):-!,safe_call(tokio(P)).
|
|
159 command(consult(P),Term):-!,
|
|
160 command(file(P),Term).
|
|
161 command(file(P),Term):-
|
|
162 on_exception(Er,(consult(P),specification(Term)),
|
|
163 read_error(Term,Er,user,user)).
|
|
164 command(A,A) :- atomic(A),!.
|
|
165 command(P,R) :- functor(P,H,N),functor(R,H,N),
|
|
166 command_arg(N,P,R).
|
|
167 command_arg(0,_P,_R):-!.
|
|
168 command_arg(N,P,R):-arg(N,P,PA),arg(N,R,RA),
|
|
169 N1 is N-1,command(PA,RA),command_arg(N1,P,R).
|
|
170
|
|
171 prolog_call(X) :-
|
|
172 t2string(X,X0),s2terms(X0,[X1|_]),safe_call(X1).
|
|
173 tokio_call(X) :-
|
|
174 t2string(X,X0),s2terms(X0,[X1|_]),safe_call(tokio(X1)).
|
|
175
|
|
176 safe_call(X) :-
|
|
177 on_exception(Er,user:call(X),
|
|
178 read_error(X,Er,user,user)),!.
|
|
179 safe_call(_).
|
|
180
|
|
181 :-dynamic font/2.
|
|
182
|
|
183 small :- (retract(font(_,_));true),assert(font("7x14",14)).
|
|
184 large :- (retract(font(_,_));true),assert(font("12x24",24)).
|
|
185
|
|
186 :-small.
|
|
187 % font("7x14",14).
|
|
188
|
|
189 width(W,H):-
|
|
190 font(_,Fs),
|
|
191 W is integer(1000/24*Fs), H is integer(500/24*Fs).
|
|
192
|
|
193 display_statistics :-
|
|
194 itl_state_number(S), % number of state
|
|
195 itl_transition(L), % number of transition
|
|
196 name(S,Ss),name(L,Ls),
|
|
197 append("State: ",Ss,S0),append(S0," Edge:",S1),append(S1,Ls,S2),
|
|
198 tcl_eval(["$symbolicName(states) configure -text {",S2,"}"]),!.
|
|
199
|
|
200 %%---------------------------------------------------------------------
|
|
201 % display_diagnosis
|
|
202 display_diag(View) :- diag(X),
|
|
203 write_display_diag(X,View).
|
|
204
|
|
205 % display_execution exapmle.
|
|
206 display_exe(View) :- exe(Z),
|
|
207 write_display_diag(Z,View).
|
|
208
|
|
209 write_display_diag(counter_example(Hist),View) :-!,display_ce(Hist,View).
|
|
210 write_display_diag(execution(Hist),View) :-!,display_ce(Hist,View).
|
|
211 write_display_diag(R,_View):-!,
|
|
212 atomic(R),name(R,Text),
|
|
213 clear_display,
|
|
214 tcl_eval(['$symbolicName(canvas) create text 0 0 -text "',Text,'"']).
|
|
215
|
|
216 % append([],X,X):-!.
|
|
217 % append([H|X],Y,[H|Z]) :- append(X,Y,Z).
|
|
218
|
|
219 clear_display :-
|
|
220 tcl_eval('$symbolicName(canvas) delete all').
|
|
221 display_ce(Hist,View) :-
|
|
222 canvas_origin(OX,OY),
|
|
223 font(_,Fs),
|
|
224 clear_display,
|
|
225 X is OX+Fs/2,Y=OY,W is integer(60/24*Fs),H is integer(60/24*Fs),
|
|
226 (variable_list(L);L=[]),append(L,['Time'],L1),!,
|
|
227 display_var(['State'|L1],View,X,Y,H,X,X1),
|
|
228 X2 is X1+X,
|
|
229 display_ce(Hist,L,View,X2,Y,W,H,0). % ,View=>batchmodeoff.
|
|
230 display_var([],_,_,_,_,X,X):-!.
|
|
231 display_var([Var|L],View,X,Y,H,X1,X2):- atomic(Var),!,
|
|
232 Y1 is Y+H, font(_Fn,Fs),
|
|
233 name(Var,VarText),length(VarText,Len0),Len is Len0*Fs,
|
|
234 % View=>stringlength(VarText,Len),
|
|
235 (X1>X+Len,X3=X1;X3 is X+Len),!,
|
|
236 display_string(X,Y,VarText),
|
|
237 display_var(L,View,X,Y1,H,X3,X2).
|
|
238 display_var([Var|L],View,X,Y,H,X1,X2):-
|
|
239 functor(Var,VarH,2),member(VarH,[(^)]),!,
|
|
240 arg(1,Var,VarA),arg(2,Var,VarB),
|
|
241 % infix operator
|
|
242 Y1 is Y+H, font(_Fn,Fs),
|
|
243 name(VarH,VarTextH),name(VarA,VarTextA),name(VarB,VarTextB),
|
|
244 append(VarTextA,VarTextH,VarText0),
|
|
245 append(VarText0,VarTextB,VarText),
|
|
246 length(VarText,Len0),Len is Len0*Fs,
|
|
247 % View=>stringlength(VarText,Len),
|
|
248 (X1>X+Len,X3=X1;X3 is X+Len),!,
|
|
249 display_string(X,Y,VarText),
|
|
250 display_var(L,View,X,Y1,H,X3,X2).
|
|
251 display_var([Var|L],View,X,Y,H,X1,X2):-
|
|
252 functor(Var,VarH,2),
|
|
253 arg(1,Var,VarA),arg(2,Var,VarB),
|
|
254 Y1 is Y+H, font(_Fn,Fs),
|
|
255 name(VarH,VarTextH),name(VarA,VarTextA),name(VarB,VarTextB),
|
|
256 CB is "(",CE is ")",CC is ",",
|
|
257 append(VarTextH,[CB|VarTextA],VarText0),
|
|
258 append(VarText0,[CC|VarTextB],VarText1),
|
|
259 append(VarText1,[CE],VarText),
|
|
260 length(VarText,Len0),Len is Len0*Fs,
|
|
261 % View=>stringlength(VarText,Len),
|
|
262 (X1>X+Len,X3=X1;X3 is X+Len),!,
|
|
263 display_string(X,Y,VarText),
|
|
264 display_var(L,View,X,Y1,H,X3,X2).
|
|
265
|
|
266 display_string(X,Y,Text) :-
|
|
267 font(Fn,_),
|
|
268 name(X,XL),name(Y,YL),
|
|
269 tcl_eval(['$symbolicName(canvas) create text ',XL,' ',YL,' -font ',Fn,
|
|
270 ' -text "', Text,'"'
|
|
271 ]).
|
|
272 display_ce([],_,_,_,_,_,_,_):-!.
|
|
273 display_ce([(S->[_|Cond])|Hist],L,View,X,Y,W,H,T) :-
|
|
274 X1 is X+W,Y1 is Y+H,T1 is T+1,
|
|
275 name(S,SText),display_string(X1,Y,SText),
|
|
276 display_now(L,Cond,View,X1,Y1,W,H,T),
|
|
277 display_ce(Hist,L,View,X1,Y,W,H,T1).
|
|
278
|
|
279 display_now([],_,_View,X,Y,_,_,T):-!,
|
|
280 name(T,SText),display_string(X,Y,SText).
|
|
281 display_now([V|Vr],Cond,View,X,Y,W,H,T):-
|
|
282 XS is X-H/2,YS is Y-H/2,
|
|
283 display_state(Cond,V,View,XS,YS,W,H),
|
|
284 Y1 is Y+H,
|
|
285 display_now(Vr,Cond,View,X,Y1,W,H,T).
|
|
286
|
|
287 rectangle(1,X,Y,X2,Y2) :-!,
|
|
288 name(X,XL),name(Y,YL), name(X2,XL2),name(Y2,YL2),
|
|
289 tcl_eval(['$symbolicName(canvas) create rectangle ',
|
|
290 XL,' ',YL,' ', XL2,' ',YL2,' ',
|
|
291 '-stipple gray50 -fill black'
|
|
292 ]).
|
|
293 rectangle(0,X,Y,X2,Y2) :-
|
|
294 name(X,XL),name(Y,YL), name(X2,XL2),name(Y2,YL2),
|
|
295 tcl_eval(['$symbolicName(canvas) create rectangle ',
|
|
296 XL,' ',YL,' ', XL2,' ',YL2
|
|
297 ]).
|
|
298 display_state([V|_],V,_View,X,Y,W,H) :-!, % true
|
|
299 X2 is X+W,Y2 is Y+H,
|
|
300 rectangle(1,X,Y,X2,Y2).
|
|
301 display_state([not(V)|_],V,_View,X,Y,W,H) :-!, % false
|
|
302 X2 is X+W,Y2 is Y+H,
|
|
303 rectangle(0,X,Y,X2,Y2).
|
|
304 display_state([_|T],V,View,X,Y,W,H) :-!,
|
|
305 display_state(T,V,View,X,Y,W,H).
|
|
306 display_state([],_,_View,X,Y,W,H) :-!, % unknown
|
|
307 X2 is X+W,Y2 is Y+H/2,Y3 is Y2+3,
|
|
308 rectangle(0,X,Y2,X2,Y3).
|
|
309
|
|
310 display_update :- tcl_eval('update').
|
|
311
|
|
312 view_state(View,W) :-
|
|
313 itl_state_number(S),
|
|
314 clear_display,
|
|
315 canvas_origin(OX,OY),
|
|
316 calc_view_size(W,S,D,W0),
|
|
317 % write(calc_view_size(W,S,D,W0)),nl,
|
|
318 W1 is OX + W0 + D, H1 is OY + W0 + D,
|
|
319 rectangle(0,OX,OY,W1,H1),
|
|
320 view_state_write(View,W0,S,D).
|
|
321
|
|
322 calc_view_size(W,S,D,W1) :-
|
|
323 D0 is integer(W/(S+1)),(D0<2,D=2;D=D0),!,
|
|
324 W0 is D*(S+1),(W0=<W,!,W1 = W0; W1 is integer(W)),!.
|
|
325
|
|
326 view_state_write(_View,W,S,D) :-
|
|
327 canvas_origin(OX,OY),
|
|
328 links(X,Y), link_translate(X,Y,X1,Y1,W,S),
|
|
329 X2 is OX+X1+D,Y2 is OY+Y1+D,
|
|
330 X11 is OX+X1,Y11 is OY+Y1,
|
|
331 rectangle(1,X11,Y11,X2,Y2),
|
|
332 display_update,
|
|
333 fail.
|
|
334 view_state_write(_View,_,_,_):-true.
|
|
335
|
|
336 link_translate(false,Y,X1,Y1,W,S) :- !,
|
|
337 link_translate(S,Y,X1,Y1,W,S).
|
|
338 link_translate(X,false,X1,Y1,W,S) :- !,
|
|
339 link_translate(X,S,X1,Y1,W,S).
|
|
340 link_translate(X,Y,X1,Y1,W,S) :- number(X),number(Y),!,
|
|
341 X1 is integer(X*W/(S+1))+1, Y1 is integer(Y*W/(S+1)).
|
|
342 link_translate(X,_,X1,0,W,S) :- number(X),!,
|
|
343 X1 is integer(X*W/(S+1)).
|
|
344 link_translate(_,Y,0,Y1,W,S) :- number(Y),!,
|
|
345 Y1 is integer(Y*W/(S+1)).
|
|
346 link_translate(_,_,0,0,_,_).
|
|
347
|
|
348 %%
|
|
349
|
|
350 s2term("",true):-!.
|
|
351 s2term(Text,Term) :-
|
|
352 telling(O),
|
|
353 tell(tmp),format("~s.~n",[Text]),told,tell(O),
|
|
354 seeing(I),
|
|
355 see(tmp),on_exception(Er,read(Term),read_error(Term,Er,I,O)),
|
|
356 see(tmp),seen,see(I),!.
|
|
357 s2term(_,true):-tell(tmp),told,see(tmp),seen.
|
|
358
|
|
359 s2terms("",true):-!.
|
|
360 s2terms(Text,Terms) :-
|
|
361 check_period(Text,0,Text1),
|
|
362 telling(O),
|
|
363 tell(tmp),format("~s~n",[Text1]),told,tell(O),
|
|
364 seeing(I),
|
|
365 see(tmp),on_exception(Er,s2terms0(Terms),read_error(Terms,Er,I,O)),
|
|
366 see(tmp),seen,see(I),!.
|
|
367 s2terms(_,true):-tell(tmp),told,see(tmp),seen.
|
|
368
|
|
369 s2terms0(Terms) :-read(X),s2terms0(X,Terms).
|
|
370 s2terms0(end_of_file,[]):-!.
|
|
371 s2terms0(H,[H|T]):-read(X),s2terms0(X,T).
|
|
372
|
|
373 read_error(true,Er,I,O) :-
|
|
374 tell(tmp),told,see(tmp),seen,
|
|
375 see(I),tell(O), % unix(system('rm tmp')),
|
|
376 write('read error:'),write(Er),nl.
|
|
377
|
|
378 t2string(Term,Text) :-
|
|
379 telling(O),
|
|
380 tell(tmp),write(Term),told,tell(O),
|
|
381 seeing(I),
|
|
382 see(tmp),get0(C),read_string(C,Text),see(tmp),seen,see(I),!.
|
|
383 t2string(_,true):-tell(tmp),told,see(tmp),seen.
|
|
384
|
|
385 t2strings(Terms,Text):-!,
|
|
386 telling(O),
|
|
387 t2strings(Terms),
|
|
388 told,tell(O),
|
|
389 seeing(I),
|
|
390 see(tmp),get0(C),read_string(C,Text),see(tmp),seen,see(I),!.
|
|
391 t2strings(_,true):-tell(tmp),told,see(tmp),seen.
|
|
392
|
|
393 t2strings([]):-!.
|
|
394 t2strings([Term|T]):-!,
|
|
395 tell(tmp),write(Term),put("."),put(10),t2strings(T).
|
|
396
|
|
397 read_string(-1,[]) :- !.
|
|
398 read_string(C,[C|T]) :-
|
|
399 get0(C1),read_string(C1,T).
|
|
400
|
|
401 check_period([],0,[32,46]):-!.
|
|
402 check_period([],1,[]):-!.
|
|
403 check_period([46],_,[46]):-!.
|
|
404 check_period([46,X|T],_,[46,X|T1]):-(X=32;X=10;X=37),!,
|
|
405 check_period(T,1,T1).
|
|
406 check_period([37|T],X,[37|T1]):-
|
|
407 skip_line(T,X,T1).
|
|
408 check_period([X|T],P,[X|T1]):-(X=32;X=10),!,
|
|
409 check_period(T,P,T1).
|
|
410 check_period([X|T],_,[X|T1]):-
|
|
411 check_period(T,0,T1).
|
|
412
|
|
413 skip_line([],X,[]):-!,
|
|
414 check_period([],X,_).
|
|
415 skip_line([10|T],X,[10|T1]):-!,
|
|
416 check_period(T,X,T1).
|
|
417 skip_line([_|T],X,T1):-skip_line(T,X,T1).
|
|
418
|
|
419 % sicstus dependent
|
|
420 easy_pp(X,X1) :- easy_pp(X,X1,0).
|
|
421 easy_pp([],[10],_) :- !.
|
|
422 easy_pp([C|T],[C1,10|T0],_) :- C is ".",!,C1 = C,
|
|
423 easy_pp(T,T0,0).
|
|
424 easy_pp([C|T],[C1,10|T0],N) :- C is ",",!,C1 = C,
|
|
425 easy_tab(N,T0,T1),easy_pp(T,T1,N).
|
|
426 easy_pp([C|T],[C1,10|T0],N) :- C is ";",!,C1 = C,
|
|
427 easy_tab(N,T0,T1),easy_pp(T,T1,N).
|
|
428 easy_pp([C,C|T],[C1,C1,10|T0],N) :- C is "&",!,C1 = C, % &&
|
|
429 easy_tab(N,T0,T1),easy_pp(T,T1,N).
|
|
430 easy_pp([C|T],[C1,10|T0],N) :- C is "&",!,C1 = C, % &
|
|
431 easy_tab(N,T0,T1),easy_pp(T,T1,N).
|
|
432 easy_pp([C,C1,C2,CB|T],C3,N) :- [C,_,C2,CB]="[a](",!, % quote '[a]'
|
|
433 CQ is "'", C3 = [CQ,C,C1,C2,CQ,CB|T1],
|
|
434 easy_pp(T,T1,N).
|
|
435 easy_pp([10|T],[10|T0],N) :- !,
|
|
436 easy_tab(N,T0,T1),easy_pp(T,T1,N).
|
|
437 easy_pp([Par|T],[Par1|T0],N) :- Par is "(",!,Par1 = Par,
|
|
438 N1 is N+1,easy_pp(T,T0,N1).
|
|
439 easy_pp([Par|T],[Par1|T0],N) :- Par is ")",!,Par1 = Par,
|
|
440 N1 is N-1,easy_pp(T,T0,N1).
|
|
441 easy_pp([H|T],[H|T0],N) :-
|
|
442 easy_pp(T,T0,N).
|
|
443
|
|
444 easy_tab(N,T,T1):-N =< 0,!,T=T1.
|
|
445 easy_tab(N,[32,32|T],T1) :-
|
|
446 N1 is N-1,easy_tab(N1,T,T1).
|
|
447
|
|
448 % end %
|