Instruction Merging and Specialization in the SICStus Prolog Virtual Machine
12
0
0
Full text
(2) ! #"$%&"'#" ( )"* ,+- %. /)0 1(/ *23 54 5 5 6% 78
(3) :9&%;5#"< =' %>? *8*@ % A8( * ' CB C D #4 4EBF ) C 5% '9 % 5F&"< !G H%4 ,+ % 5I .KJ
(4) LM C N, OQPR% 5 S%,%) < .T@ /)0 1(/ K2U 4 5 VE 4WD 6@ X C 5Y K8ZN["G #"\7] 4 ) "^7\%&"_@ E! .` D% W8( 5%4, %#" % %, CT C6 " %6"a9! N@D%;) b%&"_ 5a9, S23 54 5 S 5 %6 O 0 W@ c&%!#78(" 9! 5 3@ )" 54 BT :d &" -% G ,%* # " # R.` Z C 5N 5 T%&"' ! H%4 ,+ % 5^7 " c 4,#"W 6"Ge f\ 7 3"N6 4 #": C6, C g%&"! G .` D% K# $@&S8h 5%@#"^7b "[ ! % = 5 *! (.` i 5 *,) 4 Z <@ (.j##O 0 S @ #7 <! _ <! E,55ka@ = ! " [ .!N .j G C 5l , K&"X ! H%4 ,+ % 5[,X@S )' %.-@ /)0 1(/ U ' 4,% R % D%4 B<m#n5o<78*@,4 *@ (9B) )" + #" F b%9! 5 mp5oDO. ABSTRACT. 32 5INTRODUCTION 4 = #K9!' 4, #"F9B_ 6 5q7q9B_ EG 4,, $ ": : 4,% ' .\)E &%4)D 6@
(5) rsP
(6) L_t] )"7 g9B 5 4,% a 1 b"E N4 BS &,5W )"DuEm#v%wxO 0 &"#"^7 , ( 4 6% 7DBT .!@ Z.j % g@ 4EB' N C#O 0 .Z@ 'E 4UD 6@ $ % N@ 6;5 q7q! .j %D # 9!- @ #"$9B ) kq@ -9 C 6 ( C 5< #7@ 5 4 #7@yD% , b.` z%9 C 6% Z C 5 R TPLi G C 5 7@RP
(7) L{ C 5W )" 7% %c@ g ' 4,% #O 0 @ Z&%!#78Z*8* 4,4\9!*.j ' D, T@- C 5 D% , 7 '@
(8) |8Z '8 4 4 Ge;) #8*F 6% C.` D% k }N~c %c5 ` !~Ih)%&j~]]bJ[ # .\%9 C 6 NU, C
(9) 4,% #"9BKS 54 PL C 5^OZ@, T,D G 4EB'#" g@ * @#5" R %.q' 4,, D "4 4E l= &% Frs9B)t? )"$ 6% 5^OaJb""EG 5 4]9! d -
(10) @&y@ ' 4,% # * )"W4 #%4 |B= @& #"h&"K@ 1 5 4,N:@ @ ' N@ $ =! G .j %z +#% 5 @&Zb ! 5 94,* TD;y% 5 4 6, q . @ &" ," &4 C 5T 5 O. 1.. }~] %c5#` &~V U` j`#` !~g'Jy%9 C 6% T C N, % G ! 5 " : h_ %.bP
(11) L C 5 74 4(9 : 5 S . 8*@ N@h9! = ! ,4 T .@ %9 C 6 N: C 5^O JA 5 l%9 C 6 N' C 5l W 4, "l9BK@ D 5 C ! Ed& T % ! 5 " P
(12) L C 5^O 0 _5""E 5F h S 5 ' )"S )6 5q7@ $ 4 &% @ C
(13) .g" )", D 5T% - "S#" *@ 5 C- S@ y 4 )6 5 O Z@ b 6 C.j D 5 Z%
(14) %.] - Z' 4 4EB$ 4 ,55O / _.j%#7R9! @l@&#D9! % 4 #"X 5 C4EB,%["X@ D.s @G 5 D%B23 54 K CB C O 0 h@ T&%!#7c8$8*,4 4 Ba CB C D% #%4 4 Ba C "BS@ "a) E.`B=@T)
(15) .g@ 9! d c '%W4E#5")BW@ 5@W! .j %D Z23 54 5 b,4 6%G 5^O3Zd Cg ) 8@ * C6 " %6"$)E &%4 D% N@,( ' 4,% 6@ H O J)E &%4-D% N@ F' 4, < < 4, #"X E@ S < Gx@ 5" "rs9B) )"t: N <% 5F.` %. @ 5" "= )"W )N#O*W8* 4 43 @ %s` \¡W .` S@' )"$ 4 <SP
(16) L C 5qO'JQ9)B)G )"' N
(17) b?B, 4 4EB_ 4 #"F 1 % S¢£¤%¥¦#§ C6% #7 8*@ N:#% N@_ W
(18) S¦5¨¢©D =@ W9! )"BF .U@ C6% #7( "[ " $9BX.` N@ @= ) ! )"Xrs 4 B l9)B)a _l D%4 4, NtF%&"ª96% 6@ l X@ ¢£¤%¥)¦§&O Z@ 5" "« )"u ¬)7yv%wx8(% <d CDD5"F! 5 4,%<9BX@ F,$G 4 )6 5F %.]@® @S 6 :4, 5 5O 0 ¯`¡ ° `±) ¡²5¯j )³7g#% N@ 5! )"< T #" T@ D" ") : %.*E 5 5O3´b 323 54 5 - U* &% Geµ ,)c5H%3 .@ k 5! )" 3g #"T% Rm#vGe9 Ec %f\ ].` ¶*9&% " ") · @ R4, E R@* ,+b .^@ *D%,' 4, .` 5 Wv¸5¹$O 0 j &¯j¡ °T`±) ¡²5¯j )³7Z# 6@[ ! )"S ' #"[% f\ N :694 .3 N@_" ") O Z@
(19) KJbLºuEm »%w3! - W5" "E, &%4] 6@&4 4 5 y '@ 6@ H O-KJbL¼ -,X ¡²5¯F½#¯¡: % X¾g6j|¡:½$#¯¡NO Z@ D .(D%B_KJ
(20) L C N, T T )"" ! G ")#7R8*@ D @ D N@ F@ F )"5O¿q X# 5," ! ,5$ ' C 7c@ )"" ! &" T 5! )" W # 9!b4 ;5#"D :W 5"D )"- b "ST8( b )"* 5 5O 0 S:9B) )"b N#7)@ ( #S9!
(21) " 5 - E@ * :|8Z ¢£¤¥¦§T C6% Zrx 3 Fu ¸%wjtN75 U5O O% U- 5T 58*@ T ! )"ZÀ)ÁÂ\N.j ] y(#5" )"g R ":À)ÁÂCÃmg.` T@ -8(E
(22) )"-5 5qOgJyD, "E @#"#"D )N #%' Z- 4HU N@ , g8* @: : ": )"": f\ N OUZ@ 6@ H Z- #", /0C1(/ 23 54 5 O 0 D:"E @#5"#" N#7 )"
(23) " ! &" Z C 5 (' C9!
(24) # !#" 8*E@?8 a5"" 73= & Gx8*, D! $ 54 , qOSÄZJ-2 / W4 _Å#Æ?ÆNÇ)È ÉÉÊgÊRÊ-Ë ÌÍÎTÇÏ ÐÑÒ Ë ÆNÓÊ(Ô ÕÑ)Ë ÐÌË Ð#ÆÉ#ÖjÍ× ÆÅÉ#ÆÅ×HÕ Ð%ØÕ Ø5Ù ÌÍ)ØÕ5ËEÅ#ÆNÎWÏ O.
(25) l9!S 5d 5 #" a D@ $% 5 6@q·R uEm#pwxOl´b , 23 54 _# 5," -@
(26) 9 4 9)B=4,N , F#% N@a#"K )"W G 9!
(27) #"#"S9)B<:! 5 * $E *8(ET )"- 5^O 0 4 5;) T 4 5 4EB$.` @ N 4,%E ( ""Ef\ g9!G |8Z @ /)0 1(/ $%&"´b '2U 4, : 4,% % 7R8F G "<@&y´b Z 5 % 4EBS,4 R C 5S !G H%4 ,+ % 5^78*@ c 4EBT 5g C N, T 5 ]8ZN $G 4 #"h /)0 1(/ O<$8ZN$@ T, C#" d& " . *8*@ N@ y C 5F ! ,4 +#% 5a8Z 4,"=%4, BS %fK, @ 5)* %. /0 1(/ y "<8*@@ y! .` C 5 N 5 S,hS4 T"h@ :8( BK 5 T5" "E, &%4g9! d O'q C.`B: 5 g 5 E?B7%8Z4, #": 5' CB C D Z C N, ' G d 4 , ªrs _5O O
(28) uEm#¬wjtNOI] h@ &"\7*hKJbLSG|4 ;=5 5ª %. @ /)0 1(/ :' 4, $8Z $ 4 ) " " C #" .` ' 54 4 a C6, C '9! :, C :&"h, C G E OR® Z# 6@F 5 6%A S (9! 6@ D%;: E57?8 :, %.g"B&% b .` D% F8ZT 4 4, #"^k Ú @ -.`# B< .U 6@FKJ
(29) LÛ C 5 Ú @ -.`# B< .U 6@=&% y %.cKJ
(30) LÛ C 5 q a@D9! C' %.y 5 :;) #8*4 #" 57g 6@X" 6_@& W %'9! G ! % #"X @S4 E6% 5OÜb $! .` D < 5%4 &% 8Z @ 9&% #"¿ 5¿ h%&"¿ )"h + h# D 5¿.j 5 5 %.
(31) @ <KJ
(32) Lh7g "Ef\)' 5:9 & 5 %.b@ |8Z ' 6% C.` D% y , #"D#4, #O Z@W C .g@ b !b b C N #"a -.j 54 4 #8* k
(33) Z@') 5a9 ÝBF ) 8* -@
(34) KJ
(35) L¼&"F" 9! -@ #8¶@ G C 5T q . /0C1(/ q "T´b ^23 54 5 b" ),%3.` IE#O / 5K¬D"
(36) @ )" 4, 5 #%43,
(37) _," E.`B <%G 5Hb #%&"H"% R.j Z, C <N 5 W " ! ,4 +#%G q7)%&"$ 5( %.\@ ( C6% C Z 5%@#"$ " T ·@Z.j 4 4 Nc #%W9!3.` 5 ",uEm#ÀwxO 0 / 5¸(8Zg ]@ /)0 1(/ CG 9 #"_)E &%4cD 6@ T C 5a y@&%-@ y&!N
(38) G ," kX 5" #"«9B[! .j % l C N, ¿ 5 X, %Y²¯h±#°F8Z#B7* =9 #"[ 5ª ! H%4 ,+ % 5V "[ =@& 5'9 =%&" ! ,4 +#% 5^O / 5pS T "6 4 #" 4 & 5D .^@ ( y&"$ y! .` D y N@ % G % C W .(#% N@, C #O<®c &%4 4 B7c%.H:" .
(39) 4,%#"<8Z ;Kr / 5_v5tN7 / 5aÞW 5 4 &" O 2.. WAM-BASED INSTRUCTION SETS FOR PROLOG IMPLEMENTATION. Z@KJ
(40) Lßu m »%w(rs :%4 KuEmNw].j %' ,4^ 5 C !t _ 5 C Ge9&% #"I%9 C 6% =D% N@,_.j = l2U 4, . 5 %6 O 0 $ N &4 4 6% 7KJ
(41) LA )"* R g #",%T4, &% 5$9!|8Z _ 5,4,, K&"_ : 4,% qk 23 54 ' )"- d CZ 4 #"' KJ
(42) L C 5 ( "'@ ' 4,#"^OcZ@ (KJ
(43) Li C N, $ R #9!( % E 5#"$ ). % 5 y 6" $ $ C N, = % 55k à ¡N3 C 5 7.j g@ y 5 ) U %.!@ (@ 5"$ .q
(44) 4,% 5O á(), C 7.j y@
(45) % 5 ( .U9! )")BS %4, O âq ãNä', C 7 .` *@ T 5 ( .3 ! 5 &" O å sC5æ C 5 7y 4 ) h 5qkX¨ççè¦5¨¥©7 é ©¨5ççè¦5¨%¥©7q¦5¨5çç7!©ê©)¦ë¥©7\ "<ìí覩© é O. 2.1 The WAM instruction set. Z@ D.` 5 ' % 5 '%4 5 =8*E@@_°6±x°6¡ars¥íî 7Uí©¥íî 7g%&" ¥ í5ë¢%¥)tN7&j &¯¡ ïj ³Dr|¢£¤%¥¦§ èð ñ5tN7 "F°) òZ C 5 7 5$G D@ <9&% , DKJ
(46) Lº C N, l #OXZ@°6±%x°6¡S C NG 5 S_ #"l.j %S9 6; 6 6; 7Z@X°)|Ge@&%&"4, C NG 5 S4, E4EBª <%4,4-9&% N; 6 6;) X9!B &"[ 6 5! ,#7c&"K@ =j &¯¡ ïj )³a C N, W%D #"K ! #"S F 4H% 4 N, qO 1 5 &4 4EB75@( 5!6 5 g! .` #"'9BW#% N@$KJbLi G C N, ¿%S 4,% 4EB«" j>C ,#·b N 5 h . !6% 5 6;5
(47) 4,% 5O:Üb_@ : @ N@&%&"^7!@$³¡Ns7^ó&)b&") ãNäF G C N, T .(@$KJ
(48) L #%9! X% WX = !NG ,4 + T@
(49) Ed& % 5= !6% _9& "F 5F|B!
(50) .j %D% 5^O LF %5#7(@ Kj !¯¡ ï` )³X, C D 4 E4EB[!N .j ß G C N, ! H%4 ,+ % 5^k@ $ 5
(51) 5 C S &"Na 5 *@&%6" )" "= (@ -d Cy 5rxJbntCô%O Z@ ( C 5: g . @ /0C1(/ U2U 4,
(52) )E &4D%G 6@ W 5 C b .g@ T9 :KJbL¼ C 5 7!8*E@_@ .` 54EG 4 #8*, D" ),% k õ ]]g %Döe &<j~c÷])øqj~]] 0 /)0 1(/ 7 4, R " ( ]!N G .j "= -&% y %.g@ " T #%4 4c 5!6 5 :r|¦5¨çç &"'©5ê©)¦ë¥©tN78*@, 6@ &"W 5'@Zd CR% UE.!@ #4 4
(53) %.q@b% 5,b;) &"^758* @ 5 Z W@Wj ù ¯¡ ïj )³T C N, U . @ KJbLhO 0 &"N %9 4 Z 4,% g ³¡Nc C 5 3 ! ,4 + #":.` UD% 6@ y@Rd Cg 5 G #7 J-n7&&"<.j y@
(54) .j y@&-Jbn'@ (@
(55) 5@*?B! &": 4).j #O3Z@ 75@ %³¡N3 C 5$ %.` 9! 5
(56) D Ge K K.` 8Z%6"a q7^ a8*@ N@K # @ = 4 <9&% N;Ge &"% 6% <.` SE< 9!= ;),!#" %5#O ú sh ! ~q Xûq !j5Kj~c ]5#` !~]5Wc;) l@ h )_%4E G &% U %.&Z 6@ , ! 5 #7&"
(57) ) Z@g 6@ ! 5 cE. @ (4, C4E % (8(% g6%; q75 R" 5* g&% g %.^
(58) 5 G 64^9&% N; 6 6;) : OJV¥íî C 5= N#% y N@ 5 ! ,WE.*' 4 4,'D% 6@ F4E& W, C: ' " 4 4sO }~]jj~]÷ª &U) #` &~c5Tü ,4E Ge '#" # 3.j g5O O|B!R C 7 5 % 5 7* "[ @ _%F 5,4 #"X ! ,4 , C D8*@ N@" %#"ª% Fý5ëð¦%¥¤5è%ð ñªrs #" .j - @ t( "<þë¤ç¥¤ð ñSrj.` y N B@ '4, #tNO õ ]]g %Döe &<5 !~c÷]`#` !~q&j5 0 4 ( C Z- ) !#":8*E@ Vÿ? 4 =96 N@_8*@ 6@ b6%; K .R@ T C.s% 4, O'Z@ 5,4 ].` c 4 Ge96 6@ y Nc 5 6%49 6; 6 6;)G , O - 8 #7 4,% *Fÿ|Ý&% #" W9B$@ y 4 #7
(59) B:" j>? N, U
(60) #4 4 U 5B 5 3#"G , % O õ ]]g %Döe &D& c&K5 !jH#` ! ~
(61) JZ^ " g #%4,4 7 .3@T@ #%_" y %b@ #T$ N,9! "_ 5 * .U.` & 57% q ] 5%9&% 5g 54 4 "Drx% c" 9!#"
(62) u Àw`tq%&" & "#"\OªZ@= 4 D E $§)©¨%ì &¨í ¤#ð ¦5¨çç G C 5
(63) @&T! .j % , 4,% C W 4, $E.( "#"\O / @
(64) KJ
(65) L, C _
(66) " y - ! 1 7 8Z=@ 5<6%; l@ =% 6@l h F@ %$4 4-4 #G , y# 6@&%9 4 '9B<@ W %9 ' 4,4 N T )6% K4 ," Z@F@ &"4 , h %.b@F23 54 5 ', '4,N.`D ! Ed& "l l@ KJò
(67) LhO ô nG|9 #" , CNU '9! ·mGe9 #"T) '9!N, Z8(% "S uEm#»w. 2.2 The core of the SICStus WAM.
(68) O 0 &% 4,%#7%Y¤#ð¤%¥« C 5V@&% =9! 5""#"T8*@ 6@' E,4 + U
(69) )9! &"T%4,4!D% 3%EG 94 9!.j %$@ Wd C:¦5¨5ççF C N, %.(Ba 4,% 5O 1 5 # 4EB7-Bªìë¥ )¨í)¤5¨%þç5©7 ©5¥ )¨í¤¨%þç5©[&" ëð¤ýî )¨%í¤5¨%þç© C N, W@&%: 5X N@X%EG 94 " #8* C #¼ l@D 4, S' C:9!D 4H% #"X9B @ W % ! 5 " _ñ )¨5ç%ë)©S C 5 O$r /)0 1(/ b% G &%4 4 B: RN , g .Zñ )¨ç%ë)© C 5 R ! H%4 ,+#" .j %:@'.s% T@&W@ EW 5!6%&"h :S.`5H%9 4 5·3@ C 5 yT" #"=% bñ ý¤í¢%¥ )¨5ç%ë)©O t õ ]cU &Dö| &<5 % &]#j~c`~]] /0C1(/ $ ! $ 4 9! . !&" "S 5=% 9 #"S%,94 :u weOZ@ @#S G Ý& #8 C S" 9!#"ª ª@_ ) 5 SE º%4, l 6@ 6; 8*@ N@ q 5g% 9 #"
(70) %,94 q83 4EB
(71) 9! &"\7 F8*@ 6@F #% @ b 4 y !&" "S 5 54 -%
(72) ^O õ ]cU &Dö| & 3 #$ ~c ÷ 3`&~q3h5 / 6@
(73) ) '9!N \%U G #" ÿ?9! # l@F@#^ O b8 ³¡Ns7ó&)'&" ) ã6ä C N, *@&%&"4,
(74) @ =O õ ]cU &Dö| &Dc 3jj~]]Z@ /0C1(/ ( 5,4 * F C G W )"D.j %$ d&4 a9 #"X 5X 5 ' ,#" 8*E@« 5 6%! 5 7Z 6@« )6% « C 5 8*@ 6@= ( * #O Z@ /)0 1(/ b9B) )"' 4 *@ '9! ' C 5 N: 5 C a %.
(75) m#¬v= 5! )" : %64sO=ÜbX¬À#G|9E' N@E G 7- 5! )" =%&"ª @ % F !6 " F%À9)B) 7-%&"ª4 5. !6 " :¸<9B) O
(76) Z@: + : .g@ T C 5K
(77) b9. 5&#"_ <@:KJ
(78) L4 =9! #% $ C 5 b@&
(79) 6;5 4 X 5!N6&" SN C<9! @«,ª¿%4, #"¿%&"ª%¿ &%4 , #" 5 5q7( X =@ %@_4, X !6 " ,"_ «8Z %6" 9! " % O3-.`Z T@ )E &%4!D 6@ y C 5< @ %*8Z 5 ,"- * 5 - C6 ! 5 y -
(80) L !5O Z@
(81) C 5F N* .c@´b Z2U 4, D¬O ¸$)E &%4^DG 6 @ S $%4 9&% #"X 5X@ D9 SKJbL C 5l #7g G 4, " hE Fj !¯¡ ïj )³l "I°6±%x°6¡_ C 5 O / 4H4EB @ /)0 1(/ bKJ
(82) Lh7\@' C 5 N
(83) .j# T 4 "K G N6% 5 7.` 4 4^¬ÀGe9 * * "Ý O 0 *4 : ! % (5O O @F.j % 5¿4, 5 5_ .j 57* B D 5!6 5 7 %&"S@"9 5#O ´b ) y ! % y.` b" j>C _ "S@) (.j %b &" G %4 W %$:9 E 5
(84) @& /0C1(/ kb 4, W%$
(85) Ý&% G #"\·), C#5"\7 N8Y°6±s°N¡y, C Z- "$,4 ,y 4, Z@ bÝ #8I %.U 5 4xO ´b ) y2U 4, D@& -$ #% 5 b 9&% 5W 54 4 %# "ªE" y% b@ %*%4,4\#% N@ 9 4 4 #, y@&#-5%4,,"< 5 · @.` 57 [ ! ,4 #%)S .'!D F%,%9 4 = " 5$ T <@ :d C'¦5¨ççF C 5 F 4,% 5O -# N Ý& #8V N@ N;) *W!N .j "S4 ; /0C1(/ O $^ ;*,$@ /0 1(/ 3KJ
(86) Lh75@ y´b g C 5 g l' 4E,4 T .bÀ=9)B) 7g%&"D%)BK C 5 ' C$ l %4 , #" "Xl 4 5#"X 5^OZ@=´b ) :' 4, #7 59 9 4EB[ Ý& #"[9Bl@ _ 4,% 5[ N@ 4, B[ .@ D@&$E'8Z '8(E Vrj8*@ 6@ 5 ,"#"8* @l@ S" 4EG %.
(87) @ & % 0C/ 1 N@ tN7(&" K X 6@ 5 @ 5@$! .` D% Z '@ / 2\'J % 1 7%% 3@&3@ d C3.j KJbL% b 5 C rxJb)n ()J-¬ty ,"$ "#" ##"KDG 6@ D 5 C '8*@# W@ CW ,"< X B*O b 57 ¤ð¤%¥=.` 54 4 8#"X9Bl¦5¨5çç=%D '9 #"a Fý¤%í¢%¥)¦5¨çç_ l
(88) L ! % y8 4 4]% - =L O. 2.3 The Quintus WAM. 4 4^ C N, ( 5 W% Z C *@&#b ! ,4EG + #"$N , 38O #O #O)Jbn)()Jb¬)OUJ-4 7@ °6±%x°6¡y C 5 R% ! ,%4, + "F8O #O #O@ b%E?B< .q@
(89) #" #$rj.j %y%E yn (¸tNO J- ZW 4 #7)@´b R) 4!D% N@,b 6 ZD%B 5G )" k3ÀmÞ¸b 64sOgÜb
(90) @U @ Nc@&%&"\7 C 5T . b #"= &, 54EB_ K´b k 54 BS.j % B<.`# b '9 G & 5 O 3. METHODOLOGY FOR PERFORMING INSTRUCTION MERGING AND SPECIALIZATION IN THE WAM. ] <d&&"K # "," $ C 5 .` W 5 F W ! H%4 ,+ %G 5^7Z8ZF4, #"[ 5« C 5[ %d&4 ªrs F5O O-u m ¬%w`tNOV] @ - &"\7&@ TKJ
(91) LSGe4 ;:' 4, b.` W
(92) L !8(%
(93) C #" .j %$ 4 4, a C6% C $%9! 5 ' C 5 '%&" C 5G &%E O® (#% N@< 6%A F 5 (9! N@D%;' E57)?8Z : .U .j D 5F8 54 4 "^k m5O(® b# 6@a, C , +.- 7!@ T) '9!N- %.U, y@ %/ +'8( _N #"\OÛZ@ _, C ¶ a"," %_6; 5!6%&" ], - 5 #OUJ* 5 9 4EB7 !6 " 3 4,"TB 4," .` 4! .` D% <.` ( ! H%4 ,+ % 5_ ! 5 Og® )G 4 57
(94) @ /0 1(/ ^9B )"57@ U," 5I©5ê©)¦#ë¥1© 0?¥5í5ë)©325476 , y E
(95) 5 5^O À)O(® :# 6@X! 5 94,D C 5G| ES8r +.- 9 +;:tN73@ ) $G 9!Z %.q g@&%R@ y?8 : C 5 R8ZNb #" ,' # 5O <S]
(96) d 4Eg 5 g.s%4 - E 78Z*4 g@ ZKJbL ' 4H K ' 4HX@ X 5 %.Fªý¨¤5çª C NG , =#% N@<,b9& 6; 6 6;), $ #"^O / ,4,4 B7&%E 8*@ = +'-g 4 y'96 6@= 5 %#"^O ¿@ a 54 4 D@ : C6, C 7^@ :4 5#"K&"= &%4, #" _ .g_ C 5S8ZW 5 #"F% -@ % C NG 5^O
(97) ® %
(98) % 4 57!]9 4 <m: @ #8* b 4,4 N#"K C 5K%&" C 5Ge Ey 5 ) Trs = 4 4 , 6t( "S.` ) , *.` y@ ¬5n
(99) CU.`# )4EBW C 5 g .qL ! O3Z@ ( @ #8* C 5 <% 5 $ »5v5o .
(100) @F 6%4- C 5 <NNG #"F%&"S@
(101) C N, Ge&%E y 5 CE Tvp5oz %.RL ! O b ª N@¿ .j D 5q7*@K CD.`# )< C 5 rs 4, S %D&E 6t$ 5@@ [9!= )"ª # "," .j %S !NG ,4 +#, TN 5 7^ ! 4EB=O >
(102) 4 4EB7^<6%: C NG 5D@&Z (T 5 ( ! ,4 +#% 5F .q)6Z C 5 5@=9![ #%&"H"%K.j K" 4 5^O 0 Vc94,[m57 E_ G bD;#"S8*E@K@ ?T" W"B&% #4 4EBS.H# - C NG 5a&%E y@ %- 5
(103) #" #A "«
(104) 3>C C
(105) 4, A " 9! 5 &"% OW$","K ,"N@ $ E T &"," % .j %bN 5 O 0 .b C 5« $ 6@ l.j D ! ,4 +#% 5^7*E D '9!
(106) " ,"#"D8O #O #O8*@ N@F% Z4
(107) E* @ 5 4,"<9!
(108) !NG ,4 + #"\O 0 cN!N,)^8*E@: ! ,4 +#% 5^758 N; " @ y´b ) cKJ
(109) Lz8*@ 6@$ ! ,%4, + 5 Cg C 5 U8O #O #O Jb)n ()J-¬OL=B< @y 5 y% %.U 5 ! 5 9 4 5O ®c &%4,4EB7(ED @ 5 4,"9!F %#"@ %<%4 @ 5 5@« C6 C, 4b G .j %D% 5l8(% 54 4 ".j %#% N@ 6 &6% 4EB7 #G " # (.j %b ' %y ! ,4 +#% a8," Ed& "<4 5;) . %-@ T 4,4 N#"_,.j %D% 5a _E b E?BOyZ@ b b9! 8ZT8(%#"= S# ,"a 5 D =8*E@a C 5a " 5 <J S:9 E $% 6@X8Z 4,"@ #S9! a 4 4, .` ) , 3 . # c %.& C 5 ] -5O ;O BA Cï
(110) s¡A¡ B * u »%wxO. 3.1 Finding candidates.
(111) L. 0 C 5 1 5 ) o 0 C 5= E 1 5 o ë5ð¤%ýî D )¨í)¤5¨%þç5© ¬5v m »O n ëð¤%ý5î D ¨í¤5¨%þ)ç5© ëð¤%ý5î D ¨í¤5¨%þ)ç5© ¬5ÞE ÞO ¬ ìë¥ D )¨5ç%ë)© p%»m mm5O À ìë¥ D )¨çë)© ìë¥ D )¨çë)© ÀF5¬ pO v ©ê©)¦ë¥© p%n5¬ O Þ ìë¥ D )¨çë)© ©5ê©)¦#륩 À¸À ¸O Þ ìë¥ G )¨5ç%ë)© ¬5p)m vO Þ ©¥ D ¨í¤5¨%þ)ç5© ëð¤%ý5î D ¨í¤5¨%þ)ç5© m »5 ¬)O v ©5¥ D )¨í)¤5¨%þç5© ÀpE p)O n ìë¥ G )¨çë)© ìë¥ G )¨çë)© m#Þ» ¬)O ¸ ©5¥ G )¨í)¤5¨%þç5© À¸» ¸O » ©¥ G ¨í¤5¨%þ)ç5© ©5¥ G )¨í)¤5¨%þç5© m#Þ)m ¬)O ¬ §)©¨%Fì ¨í ¤ð ¦5¨çç À%¬5¬ ¸O p ëð¤%ý5î D ¨í¤5¨%þ)ç5© §)©¨%ì&¨í¤#ð ¦5¨çç m v5» ¬)O À ý5ëð¦%¥¤5è%ð H À%n5v ¸O n ëð¤%ý5î D ¨í¤5¨%þ)ç5© ìë¥ D )¨çë)© m v5» ¬)O À ©¥ 礢¥ m »5 ¬O v §)©¨%ìF&¨í5¤ð ¦5¨ç5ç ý5ë𦥤5è%ð H m v5n ¬)O,m ëð¤%ýî D çè¦5¨5ç )¨ç%ë© m vÞ ¬O À ©5ê©)¦ë¥© ©5¥ D )¨í)¤5¨%þç5© ? m¸p ÀO » ëð¤%ýî D ¨ç%ë)© m#p)m À)O ©¥ 礢¥ ëð¤%ý5î D ç5è¦5¨ç )¨ç%ë)© m ¬5¬ ÀO v ©5¥ ¢%¥í5릥5ëí© m#pn À)O ©5ê©)¦ë¥© ©5¥ 礢%¥ ? m#À5p ÀO ¸ ìí)覩© é 5n m5O Þ ý5ëð¦%¥¤5è%ð H ©5ê©)¦#륩 mm) ÀO ¬ ¨ç5çè¦5¨¥© »Þ m5O Þ ëð¤%ýî D çè¦5¨5ç )¨çë)© ëð¤%ý5î D ¨í¤5¨%þ)ç5© m nÞ ÀO n ý¤í¢%¥¦5¨5çç »Þ m5O Þ ëð¤%ý5î D ¨í¤5¨%þ)ç5© ©5¥ ¢%¥í5릥5ëí© 5n mO Þ Þ» m5O p Þ» mO p é ©¨çç覨¥© é ©¨çç覨¥© ©5ê©)¦#륩 ý5ëð¦%¥)¤5è%ð H I¤ Þn m5O ¬ ©5ê©)¦ë¥© ëð¤%ý5î D ¨í¤5¨%þ)ç5© ? vÞ mO ¬ ©5¥ D )¨5ç%ë)© Þn m5O ¬ ìí)覩5© é ìë¥ G )¨çë)© ? vp mO À ¥íî v5¬ m5O À ìë¥ G )¨çë)© é ©¨ç5çè¦5¨¥© pv mO,m ìë¥ ¢%¥í5릥5ëí© p5Þ m5O m ©5¥ ¢¥í5ë¦%¥ëí© ëð¤%ý5î D ¨í¤5¨%þ)ç5© p5p mO,m ìë¥ G ëð¢5¨ý© )¨ç%ë© pv m5O m ì5ë¥ ¢¥í5ë¦%¥ëí© ëð¤%ý5î D ¨ç%ë)© ¸ n)O ¦ë5¥ J p)m m5O n ë5ð¤%ýî D )¨çë)© ëð¤%ý5î D ¨ç%ë)© ¸ n)O ý)¨¤5çrs 5! )"Ãb #O 5O #%4 4, 6t pn m5O n ¨5ççè¦5¨%¥© ©5¥ G )¨í)¤5¨%þç5© ¸5¸ n)O » ë5ð¤%ýî G )¨í)¤5¨%þç5© ¸v nO ì5ë¥ G ëð¢5¨ý© )¨çë)© ìë¥ G )¨çë)© ¸¬ n)O » ìë¥ ¦5è%ð¢%¥¨%𥠸p nO ëð¤%ý5î D ¨í¤5¨%þ)ç5© ©5¥ 礢%¥ ¸À n)O » ìë¥ G )¨í)¤5¨%þç5© ¸m nO » ©5ê©)¦ë¥© ¥íî ? ¬Þ n)O Þ ëð¤ýî )è¤ é ¸m nO » ìë¥ G )¨çë)© ìë¥ G ëð¢¨ý© ¨ç%ë)© ¬5v n)O Þ þë¤5祤ð H ¬p nO Þ ©¥ D ¨í¤5¨%þ)ç5© ìë¥ D )¨çë)© ¬À n)O v þë¤5ç¥)¤ð H I¤ ¬¸ nO v ©¥ D ¨í¤5¨%þ)ç5© ©5¥ D )¨í)¤5¨%þç5© ¬m n)O v þë¤5祤ð K ¬5n nO v ©5¥ ¢¥í5ë¦%¥ëí© ©5¥ D )¨í)¤5¨%þç5© ¬m n)O v 3`NMO
(112) }N~c %c5 ` !~« ~c÷[`~c %c5#H !~QP c `S5 !c~\#: ~c÷Xö|7R^]~c`Tö| &:#û]
(113) S TK ! Tö|7Rqq~\ ^]~c5$j~VU ! . 8*@ N@'%Z 4,4 B:9&% #": :@," 5 3 %. @& 4,%g9! N@G D;T 5 %6 3 6@ '.j %U 6 b #OU® %RN % 4 57%8Z( 8 < 5h F" "_@ ¨ìì)©ð é , C K <@ ' C 5 NT 5 a@&&%,5: N :8(% #"K T<9! 6@ D;F G. %6=O / @ *8Z %;F8(% b! .` #"F /)0 1(/ 7& ! E .` a [&" ! ,%4, +# 5 8ZN C 6 #"I9B¿ b" 5K" 5 b "F! 4,, - . /0C1(/ C G : #O3® 3N % 4 57%(?B!g . KJbL C 5W ! ,4 +#%G F .H =! .` #"< S %@ y23 54 5 CB C brs5O O&´b 7 ÄJb2 " 23 54 t_, a ª ! H%4 ,+@°6±x°6¡X, C .` T D%4,4c&"_@) y 5 4EB= F%E OWü ', /)0 1(/ ( 6@ 5 b! 5 *D 4,% 5S y % * %.c@ - #4 4^ N@G % ¼rs .?O / 5KÀO ÀtN7\@ - ! ,4 +#% 5h b %% 4 #%9 4 = y O Jy4 7T , [ %. C 5 _ F 6% _8* @ +#% T! .j %#"h9B_@$ 5 4,N#O<® T% 4 57q, #" # TD, 4,% S4 C Drs5O Oq,¨%ìì)©%ð é 25WtN7]ET, T $G 4H% D.j $X ©5¥ 礢%¥h a9!< #",%4 BK.j 4 4, #8#"[9B Ey .(ëð¤%ýî )¨%í¤5¨%þç©D C 5 · :®c $mrx5tNO / 5 5 4 =rsO O Y / ü- 6t: " 4EBl 5D@ D@S C G g, 5· -®c Tmrs9!tNO 0 '@ /0C1(/ U 4 g@ * , T, g 4 4EB %Z )"D,"#9! # * 5 " T.` rx"B&%, 4 4EB&tU ;), W Z@. ©¥ 礢¥$ G C 5F8*@ F@
(114) d C-% * *9! 5 "< D'4 C#OZLF G. 3.2 Pragmatics and discussion. D@ T?8 Dë5ð¤%ýî ¨í¤5¨%þ)ç5©F C 5 b,
(115) D9!N
(116) 5 @ T # · S®c 5 am5rs tNOaJA" 5l" 5X8(% W6%; %] y 5 ,"U%T, C WN 5 yE.@, q 5 #"
(117) 5 @y 5, +# 5= %.c@ /)0 1(/ Z 4 #O ®c &%4,4EB7 Z@ %gE.^
(118) 5,4 g g@ 5@4 B: 5 ,+, gE.\E 4E#"BW@&% g-9 -, C ' #7@ (Z4 U 5! E, .j %Z ! H%4 ,+ % 5S "'f\ (N 5 %.\, C OgJ- g /0C1(/ CG| ! Ed& T4,7! 5 ,"
(119) @'ñ )¨%í¤5¨%þç©F C NG 5 OªJy , #"X / ¿À)O À7(9! #% F %. /0C1(/ ! .` S %9 K 54 4 5^7- = .b@ _ C 5 . 5N* N@ #"S9B@
(120) 5 4,N( Dñ ý¤%í¢%¥ )¨ç%ë)©$ C 5 O J- < # 7y@=.`# B %._ñ )¨í¤¨%þç5©l&% S"NG #% 7 "'@ g E@ g 4E g g ,"N, @ *&%E .j %( , T W 596 :T 5 d #4EB4,% ( C 5 -%.H- 5 OgZ@ !
(121) ! % #"S u ¸w] y 4,%#O ] $5%4, %:&% 4,%- 5S .3@ -KJ
(122) Lh78Z
(123) 6F 5 9! N@D%; Ea 5¿E_%&"«#% #"«@a ª,O Z@ T! (8ZN: &" #"S9! @_ 5 / 2\'J % 1 r / 4,% 6t "'2c 8r $q ) tq 75 b#" Z%B' N@E 6%4 9 ,% O(T4 D ," "= 5 ) D 6@ C 5 - CG a_@&6"8Z%D ' 4, #7U9 :a E69 4 54R.j '9! @l G 6@ E Z8(% ( y# 4,94,OZ@b b#% ) g8Z 4,4 N#"K _ 5 b@&-8W 5,4 #"F8*E@a 5 ,+ % 5 Zr ¦\ ¦ []Hta "I8*E@Y, C Y d 4 , , C 6, #"S %f3O. 3.3 Evaluation.
(124) ¢#£¤%¥¦§ è%𠥩5í,^ `_ba'_bc ã ²sæ ¥ 5 í©5¥î ð©¤çe©dç¢%! ©&^ ò _a fIff ^ ò ¥5í5©5ë¥ ¢%ç¥ ¤5 ¢%@¥© d©ç! ¢©ã ²sæ _gc ë5ð¤%ýî )¨í¤5¨þç5@© h ô ë5ð¤%ýî )¨í¤5¨þç5i© d ! ©5¥ ç¤5¢%@ ¥ dò. ¢£¤%¥)¦§ è%𠥩5íX^ `_a_bc ã ²jæ ¥ í©5î¥ ð©¤5çe©dç¢! ©i^ ò _ba fff ^ ò ¥í5©5ë¥ ¢ç¥ ¤ ¢%¥© D©)稢í©ã D²%)s¨æ í@d ! h d ! ô _bc ©5¥ 礢%@ ¥ dò. rx5ty¨ìì)©ð é 25W,SKJ
(125) LhO. rs9!t(¨%ì5ì)©ð é 2EW8*E@= O. ^. fIff. ^. fff. ¢#£¤%¥¦§ è%𠥩5í,^ `_ba'_bc ã ²sæ ¥ 5 í©5¥î ð©¤çe©dç¢%! ©&^ ò _a fIff ^ ò ¥5í5©5ë¥ ¢%ç¥ ¤5 ¢%@¥© d©ç! ¢©ã ²sæ ë5ð¤%ýjî H D)¨í D)¨í h ô d'! _gc ©5¥ ç¤5¢%@ ¥ dò ^. fIff. rs t3¨%ìì)©%ð é 25W8*E@'9! g O. *`!] MOT}N~^ )&#` !~ª &ö-j~c ]5#` !~Ih)!j~]ml`#ûª`~c÷])ø]`~]X &c#j`#` !~c5 k. 4.. THREE SICSTUS PROLOG VIRTUAL MACHINE VARIANTS. 4.1 M : SICStus Prolog 3.8 virtual machine. Z@ /)0 1(/ y2U 4 5 S¬O »<9B) )"T, C _ b8Z
(126) "G "<.` z@ b /)0 1(/ ()E &4!D% N@ b C 5F " 9!#"l / 5«À)O À_D 4EBX9B! .j %, h C 5 N 5 O_Z@ D =8(% '" 5< X%²¯F±#°$8( B73 54 #%G S.` ) T 5:9 & 5 -.` 5D%) &43 ! 5h .( $G 4, " )"5OZ@&$ 7ZN 5 _8(% ! .j %#" h ) %.] C 5 @&Zn Be²sx°²5æ`æ ä' 5 4, O 0 C 5 ! ,4 +#% 5X8Z T %T 5 H"#"\73 #% W8*@E 9 5 ] U9! Nd ]@ (>C C3# H" ( b" )"%W !6 "^· / N, ªÀO À)O[Z@ F.` 54 4 #8*, C 5 # '8 N 5#"\k Ú 9J-Bl4 4* @ C .< ¨5 5çqçOè¦51¨%¥ © # é ©)¨ç4EB[ç訦5ç5¨ç¥è©¦5¨.j ¥4 ©X4, #8&#"" é ©¨5ççè¦5¨%¥©%R ] "#"TB g%&"
(127) 8Zg #" .` i@
(128) C 5= N#O Ú #¤%ð4,¤4 #¥l"=.` 5ý)4 ¤%4 #í8Z¢%¥#¦"¿¨ç9çBO ¦¨ççO¶Z@ = 4E, C 5ª . Ú FL5¦ ¨ ç54Eç %
(129) 4 $ìç먥 ¢%¥)¦¨¨ç%çëç©=, W C ìë ¥ ë5 ðX¢5¨rjý©@ b)¨ ç% ë ©_4Eb.` 5 %4 .U4 #8Z#"X 5 9B. é ©¨5ççè¦5¨%¥©Fà ©ê©)¦ë¥©tNO Ú 23E y o. ©¥ )¨í)¤5¨%þç5©D ` ©¥ ¦5è%ð¢%¥)¨%ð¥O Ú 23E q .^ìë¥ ¨í¤5¨%þ)ç5©7%ìë¥ ¨ç%ë)©7% %]ìë¥ ëð¢5¨%ý© )¨5ç%ë)©O ëð¤ýî )¨í)¤5¨%þç5©7:ëð¤%ýî ¨ç%ë)©7 Ú ëJ-ð¤B¿ýî |8Z) ª è¤ é 7& %*ëð¤%ýî ëð¢5¨ý© )¨çë)©, C O J ©5¥ ¦5è%ð¢¥)¨%ð¥ E7 ©5¥ ð¤5ç7 ©5¥ )¨5ç%ë)©7ëð¤ýî ¦5è%ð¢%¥)¨%ð¥7 Ú ëp ð¤ýî ð¤ç7& %¦#ë5¥ J&7.j 54 4 #8Z#"_9BDìí)è¦%©© é O J ©5¥ ¢%¥í5ë¦%¥5ëí©S T ©5¥ 礢%¥< C 5_@&
(130) #%G Ú q %
(131) 9!W ;),!#"=9B= &" ars / 5K¬)O Àty.j 4 4, #8#" 9BD?8Z :ëð¤%ýî )¨í¤¨%þç5©D C N, O Ú ìë¥ ¦5è%ð¢¥)¨%ð¥$.` 54 4 8#"F9B<< 4 b C( y @ 5O Z@R 4E, b C 5W 3 C 3 .qm#E» - 5! )" 3 T 64sO. 4.2 M ò : SICStus core + specialization. / 6 T.` 5i
(132) L !57@L )E &%4!D 6@ - C N, S N 8(% R9 4E $,"#% g.H 5Y@ yò ´b ) U, C $ &": 5G 6 $¬pp= 5! )" OKJ-4 4 6% C.j %D% 5 $< @D.` ¼ . C 5W ! ,4 +#% bO b %69 4EB75´b q23 54 5
(133) ! ,4EG +
(134) C 5 b.j %WJb)n ()Jb¬)7\9! #% ' h ' N@E @ T%W"E 4EBSD!#"< $@ %6")8(%
(135) 5 C OZb.j 4,4 #8 @ *& F aL ò O Z@ 6@ .` W ! ,4 + #"X C 5 <rs % @ #8*: 5c%9 4 *À·@ Z 5 4 R g #:9!.j "'%*uEm#Àw`tc # 9!F9ET B 57q9 =ÿ? CB4 4H%9 4 _4 ; r34 fff rW_&N" D34 fff D3W " U ! H%4 ,+#"W !6 " \8*@ 1 r5s-%&" D5s-" U 5!N6&" Z8*@ 6@S: CZ9!b" )"#"\Og® *% 4 57@ -PL G C N, X ©5¥ rK )¨%í¤5¨%þç© D5s< ! 5&" - $@TKJbL G C N,
(136) ©5¥ )¨í¤¨%þç51© 0theuv9 d - 6T ! ,4 + #"F.j %bv w¶m5O Z@ T.j 4 4, #8* S C N, y8ZW ! ,4 + #"_.j %Tin xª  9ty&x ¬k Ú ììë륥 ¢¥èí5¤ ëé ¦%0#¥d'ë- í651© 70 ì{1ë9A¥ d ¦5- è%6ð7¢%ì¥)ë¨%¥ ð1¥ð¤50 z.vç 0#9Id d'- -#65677 ìë¥ ç¤¢|¥ 0#d - 67 ©5¥ ¨ç%ë)1 © 0t} u 9 d'- 657 ©¥ ¦5è%ð¢%¥)¨%ð1¥ 0 z.9Id'-#67 ©5¥ ¢¥í5ë¦%¥ëí1 © 0 {19Ad.-#67 ©5¥ ð¤5vç 0#d'- 657 ©¥ 礢|¥ 0#d.- 67 ëð¤%ýî )è¤ é 0?Â^ÿEm 67ëð¤%ýî )¨í¤¨%þç51© 0the-A67 ëð¤%ýî )¨í¤¨%þç51© 0t}~-67ëð¤%ý5î )¨ç%ë1© 0he- 67 ëð¤%ýî )¨ç%ë1© 0} - 657ëð¤%ýî ç5è¦5¨ç )¨ç%ë)v© 0h - 657&%&" ëð¤%ýî çè¦5¨5ç )¨ç%ë1© 0}~- 6 Ú ©5¥ ¨í¤5¨%þ)ç51© 0h:9 d.-#6· (ìë¥ )¨ç%ë© Ú ìë©5¥¥ ¨¨íí¤5¤5¨%¨%þ)þ)ç5ç51©1© 00}}7:7: 9 9 d.d --#6677ìë©5¥¥ ¨¨ç%ç%ë)ë)1©1© 0t0th}7:7: 9 9d.d -#- 667 7 " ìë¥ ë5ð¢5¨ý© )¨ç%ë1© 0} : 9 d - 6 4.3 Mô : SICStus 3.8 + specialization ®c &%4,4EB7R@ FL ) 4(D% N@,F C 5 $8Z D"NG #"l C6% K.` ô ºL "X ! ,4 + XE $ C 5 5! )" 7% Z"N #"'9B', C d 4 , Drj@ -L 54EG < .3c94,:ÀtNO 0 y 56%, -À%¸5¸ ! )" O Z@ *.j 4 4, #8* : C N, &"$ C 5 E 8- !NG ,4 + #"\k 礢%|¥ 0d - 67&%&" Ú ëð©5¥¤%ý¢î ¥í5)ë¨í¦%¥¤ë¨%þí1©ç51© 0 {10the9Ad -A6- 677 .j %
(137) ©5¥ n x«  x[¬ Ú ìë©5¥¥ ¨¨íç%ë)¤5©$¨%þ)ç5 1© 0h : 9 d - 67.j %
(138) nn x  9tyex«¬)· %5 ¨í¤¨%þç51© 0the-A6:ÃIëð¤%ýî )¨%í¤5¨%þç1© 0h/:657.` Ú ën ðx[¤%ý  î 9ye)x[ ¬O.
(139) L !
(140) L L L 0 C 5 0 C 0 C 5ò 0 C 5ô o o o ëð¤ýî D )¨í¤5¨þç5© m »O n ©ê©)¦ë¥© mm5O Þ ëð¤%ýî D )¨í¤¨%þç5© m#nO n ©5ê©)¦#륩 ì5ë¥ D )¨ç%ë)© mm5O À ëð¤%ýî3H D)¨í D)¨í »)O À ©5ê©)¦ë¥© O Þ ©¥ D)¨%í D)¨%í ©5ê©)¦#륩 O Þ §)©¨%ì&¨í¤#ð ¦5¨çç v)O ¸ §©¨%ìF&¨%í¤ð ¦¨çç ¸O p §)©¨%ìF&¨í5¤ð ¦5¨ç5ç ì5ë¥ G )¨ç%ë)© vO Þ ìë¥ D)¨ç D)¨ç v)O À ëð¤%ýî ¨í¤5¨%þ)ç5© D3W ¸O m ý5ëð¦%¥)¤5è%ð H ©¥ D ¨í¤5¨%þ)ç5© p)O n ©5¥ D )¨í)¤5¨%þç5© pO » ý5ë𦥤5è%ð H ¸O n ©5¥ 礢%¥ ©¥ G ¨í¤5¨%þ)ç5© ¸O » ý5ë5ð¦%¥¤5èð H pO Þ ©5¥ 礢%¥ À)O p ©5¥ r5s )¨%í¤5¨%þç© D3W §)©¨%Fì &¨5í ¤ð ¦5¨ç5ç ¸O p ©¥ ç¤5¢%¥ pO n ©5¥ r5s ¨í¤5¨%þ)ç5© D3W À)O p ëð¤%ý5î )¨í)¢ D3W D5s ý5ëð¦%¥)¤5è%ð H ¸O n ìë¥ D )¨5ç%ë)© ¬)O v ë5ð¤%ýî D )¨5ç%ë)© À)O ¸ ëð¤%ý5îjH D)çF)¨ç D¨í ©5¥ 礢%¥ ¬O v ë5ð¤%ýîjH D)çE)¨5ç D)¨í ÀO ëð¤%ýî ¨í¤5¨%þ)ç5© DjH À)O n ý¤%í¢%¥)¦5¨çç ëð¤%ýî D çè¦5¨ç ¨ç%ë)© ¬O À ©5¥ ¢%¥í5ë¦%¥5ëí© ÀO Þ ìí覩© é m5O Þ ç¨¢%¥)¦5¨çç ëð¤%ýî D )¨ç%ë© À)O ý)¤%í¢%¥¦¨çç ÀO ¸ ¨çç5è¦5¨¥© m5O Þ ëð¤ýîjH D¨í D¨í ©¥ ¢%¥5í5ë¦%¥5ëí© À)O ç5¨¢%¥¦5¨5çç ÀO m ý¤%í)¢%¥¦5¨ç5ç m5O Þ ©5¥ r34 )¨%í¤5¨%þç© D5s ìí)è¦%©© é m5O Þ ý5ë𦥤5è%ð H ¤I mO ©5¥ rK ¨í¤5¨%þ)ç5© D5s m5O v ý5ëð¦%¥¤5è%ð H ¤I5 ¨ççè¦5¨¥© m5O Þ ©5¥ G3)¨í G3)¨í mO » ©5¥ r34 ¨í¤5¨%þ)ç5© D5s m5O v ©¥ G3)¨%í G3)¨%í ý¤%í¢¥¦5¨çç m5O Þ ëð¤%ýî D )¨%í¤5¨%þç© mO » m5O p ¥í5î é ©¨5ççè¦5¨%¥© m5O p ¥íî mO Þ ©5¥ r34 ¨í¤5¨%þ)ç5© DK m5O p ©5¥ r3W )¨%í¤5¨%þç© DjH é ©¨çç5è¦5¨¥© ý5ë5ð¦%¥¤5èð H I¤ 5 m5O ¬ ìë¥ ¢%¥í5ë¦%¥5ëí© mO v ©5¥ rjH ¨í¤5¨%þ)ç5© D5s m5O ¸ ëð¤%ý5î )¨í)¢ D5s DjH ©5¥ D )¨ç%ë)© m5O ¬ ìë¥ G )¨5ç%ë)© mO ¸ ©5¥ r34 ¨í¤5¨%þ)ç5© DjH m5O ¸ ìë¥ ¢%¥íë¦%¥5ëí© ¥í5î m5O À ©5¥ ¢%¥í5ë¦%¥5ëí© D5)¨í D5)¨í mO ¸ ýëð¦%¥¤è%ð H ¤I m5O ¬ ì5ë¥ G )¨ç%ë)© ìë¥ ¢%¥5í5ë¦%¥5ëí© m5O m ý)¨¤5ç mO ¬ ëð¤%ý5î ç覨ç )¨çë)© DK m5O ¬ ©5¥ ¢%¥5í5ë¦%¥5ëí© D)¨í D)¨í ìë¥ G ëð¢¨ý© ¨ç%ë)© m5O m ëð¤%ýî3H D)¨ç D)¨ç mO ¬ ëð¤%ý5î ç覨ç )¨çë)© D3W m5O ¬ ý)¨¤ç ¦ëE¥ J m5O n ìë¥ ¦5è%ð¢¥)¨%ð¥ mO À ëð¤%ýî ¨í¤5¨%þ)ç5© D34 m5O À ©5¥ rK ¢¥í5ë¦%¥ëí© ý)¨¤ç m5O n ©5¥ Gý)¨í G3)¨í mO m ìë¥ î )¨çë)© m5O À ëð¤ýîjH D¨ç D¨ç ëð¤ýî G )¨í¤5¨þç5© nO ©5¥ D )¨5ç%ë)© mO m ©5¥ r3W ¨í¤5¨%þ)ç5© DjH m5O À ì5ë¥ ¦5èð¢%¥)¨%ð¥ ì5ë¥ ¦5èð¢%¥)¨%ð¥ nO ìí)覩© é mO n ©5¥ rK ¨í¤5¨%þ)ç5© D3W m5O m ©5¥ Gý¨í G3)¨%í ìë¥ G ¨í¤5¨%þ)ç5© nO » þë¤5祤ð H mO n ©5¥ r3W ¨í¤5¨%þ)ç5© D5s m5O m ©5¥ D )¨ç%ë)© ëð¤%ýî )è¤ é nO » ìë¥ G )¨í)¤5¨%þç5© n)O ý¨¤5ç m5O m ìí)è¦%©© é þë¤5ç¥)¤ð H nO Þ þë¤5ç%¥¤ð H ¤I n)O ©5¥ G )¨í¤¨%þç5© m5O n þë¤5ç¥)¤ð H þë¤5祤ð H I¤ 5 nO v ©5¥ G )¨í)¤5¨%þç5© n)O ¥5íî m5O n ìë¥ G ¨í¤5¨%þ)ç5© þë¤5ç¥)¤ð K nO v ¦ë¥5J n)O ©5¥ ¢¥í5ë¦%¥ëí© m5O n þë¤5祤ð H ¤I5 ¦#ë¥5J m5O n ~M L & o L &o L & o L & o 3`N O L û], STXh ! $öe7Rq]~\$j~] %c5#` &~c<öe &D#û]aöe !]<÷cR)~\eq`#] *h&%ûcj~]a`~c %c5#H !~I )#5 L 4.4 Instruction frequencies in different machines. ]9 4 'À' @ #8* b@T¬5n 5 Cy.`# b C 5 -.j %
(141) #% N@ % .c@ -.j 5 -"Ef\ ()E &%4qD% N@,b C 5S y (8Z 4 4 %
(142) @ :! 6 $ .R@ E
(143) .H# O 0
(144) 8 @K . @ %R©5ꩦ륩T@&% g N@'" , % y 54 * DL 7)L ò "L ô O Z@@ 5@y! 6% 5
(145) %.b©ê©)¦ë¥©$,_L &"FL 5 %#" :
Related documents
The process becomes opaquer from their point of view, caused both by a shift in norms of pedagogy (focus on answers instead of process gives less information for the teacher
The project is located in Helsingborg and the main purpose of the project is to investigate how in Magnolia building, where the electricity is supplied by the solar panels
I föreliggande studie kan vi följa kvinnorna genom stadium som innan tanken om förändring, tanken om att något behöver förändras, påbörjad förändring, man agerar kraftfullt
Denna studie är gjord i syfte att studera framförallt den tunga trafikens tvärfördelning på några olika svenska vägtyper och att med ledning härav ta fram korrektionstal att
If automatic mixing of resin and hardener is desired, attach the mixing nozzle to the end of the cartridge and begin dispensing the adhesive. For hand mixing, expel the desired
Keywords: Brain-computer interface (BCI), Brain-machine interface (BMI), Virtual reality (VR), Motor imagery, Visual evoked potentials, Brain-to-brain communication... Some day,
Avhandlingens disposition sådan den nu redovisats är på flera sätt tydlig och logisk men därför inte oproblema tisk. Mellan de olika kapitlen löper ju
Four empirical studies provide detailed analyses of video-recorded lab work in science education, with a focus on how teachers, task formulations, and technology
