ࡱ> -/9:.yn \o"Nm6yPNG  IHDRW?gIFxNETSCAPE2.0$NP%tEXtCommentGifBuilder 0.5 by Yves PiguetttPLTEff3̙̙̙ff̙fff3f3ff3333333f33f̙ffff3333D"ytRNSKFbKGD?>c0ugIFg 6 cmPPJCmp0712IDAT(-[ D!L!/H=խe{5FbCɽ!G\G$, ;C3lZE='cB~[NYq P6,"ŜӆLсne0 ̉ZC4çf&Mmjͷ\dB > ?t c!z܁!V?"" IFmsOGMSOFFICE9.0GIF89a?ff3̙̙̙ff̙fff3f3ff3333333f33f̙ffff3333D"! NETSCAPE2.0!GifBuilder 0.5 by Yves Piguet! ,@phd0 b i -Sr;*pH2M$Y,hiKrh\TKGO ~kGT]THT^^]Qm]m?!iQ!XRJBͻЏb! D!" jLNi"MȨ HX&A! ,@phd0 b i -Sr;*AH2MxZ,N2 QKehGPu KG  FIkGiT]T T^^]Qm]\?!kmU!!FhnbJ! ߯D!"jLm]V #4e%! ,@phd0 b i -Sr;*AH2MxZ ! Gס  zehGPTKGOG\kGiTT]TH^Qt  ^?!tƺ! RJBЍbD!" jLʙ! PG2k"9vJ! ,@phd0 b i -Sr;*AH2MxZM;pt, ehGP~TKGOG\kGiT]THT^}]Qm]m?!i}!!FhȞn  mTC!٩D!"jCÔ! VmBL?"Y ! ,@phd0 b i -Sr;*AH2MxZM;pt, ehGP~TKGOG\XGiTHT^}]Qm]m?!]t“!!Fhn~mÈb! D!"LǔVڄa,D#f%! ,@phd0 b i -Sr;*AH2MxZM;pt, ehGP~TKGOG\kGiT]  TXJT]m  ]Qm?!ȡkm!Fhn}TC ߫D!"jC]Vm!~(&hњ! ,@phd0 b i -Sr;*AH2MxZM;pt, ehGP~TEH  G\kGjT]TH ^^]mJX}?!Ɇ!!hBQmTC" ݫD!"! Lƕ]Vm!?Aяȭ[V;*rIENDB``!]o fѯ zHF  d+xcdd``Vf 2 ĜL0##0KQ* Wä&d3H1)fY;؁3PT obIFHeA*/&`b]F"L L`0ro.dabM-VK-WMc Z.Č`uP3vq0/fVBy?XP&i >`BܤrDngc4cX\1 nn:\ D.v0o(+KRsAb\XydV`![#s٢(F` )xcdd``Vf 2 ĜL0##0KQ* W9MRcgbR v fĒʂT/&`b]F"L L`0%ro.dabM-VK-WMc Z.Č`uP3vq0f8UBy|#_ & Ma(wrs=n?wG3H:l/Lps!S q.p@tA``ⱍI)$5$p,T`!c۔)lV v d1xcdd``f 2 ĜL0##0KQ* WärMRcgbR vq fĒʂT @_L ĺE,a L *'] ZZ\  f22a> XQ_p~n?(P 27)?(K L`y , <6{H'&=a`su*1%.] `P121)Wĸ,.?1bYo`!|b^^ɳW&ʂt  dJxcdd``b 2 ĜL0##0KQ* Wä-d3H1)fY; fĒʂT @_L ĺE,a kȝATN`gbM-VK-WMc Z.` P3vq0ahV5 (…,xU aAUo Q^F? [JN(30Xr*Sa6'pUpB_XAfT" " lSfQ 4~qq  `P121)WĸqL'P010tZZ`!]G}d&k {z  2d[xcdd``e 2 ĜL0##0KQ* Wä "d3H1)fY0fĒʂT8PD.#l&&0KȺ& ro@lc=}S@H+_ŀj&# F\kpDv?~R,&Y[n޴mw8F knEA&:~#@v d++&1`wuHEqXQ9 > ^FL 0s-X@*sAc ]=hcdbR ,.IqAcn@)r`!+;Ï˟$Ȏ@ jxcdd``.g 2 ĜL0##0KQ* W A?d 3zjx|K2B* Rj :@u!f0109Y@VL̂&  a7S?>aabM-VK-WMc Z.Č`uPn2aaɸUBy`s%L>h;3yv`c%@ I9 @>No? 3 ^fT~^b/?SZAI` Č* U"M\Vv0o(121)Wĸx ˆ,]i`!CA}5bN!~ FvxڥR=KA|XV*jaB3"& (xTV)bi!L?&0Aܽ7v19OJF BX \4Dg-f%ZM,p%MJ^RYǖ< I+wjhe;$Pj BWf_b0}.@45QymճKi`/˼5wi'_9 sQ=j0ޟ5飏W9VԢ1s.~VwҬXK|QQ7h>*q}(UVc^Mb?fSf}K{ -%F8'ږfTGd`!d()63٣c+. 8dxڥ=KAg.^>QQCD8E-l"&TуN,,,v+i,mF1eB {7s= 1|= dM狨(3uHrk"apE2$97ug#5^NrEgP->Fǩo˾}(@lD/꟧V餟}uT݁"LϨls hu\8{EЍL!k2U$nzN>ûm@Y#Z#`!T#7\3~Q1P%xcdd``~$d@9`,&FF(`Tq! KA?H1 f0@0&dT0pE1At 2Bab`r/0L0k0El01/Ll8ȏAl @Hfnj_jBP~nbor1 f3N#惂 J?q np4!T +/ ;WÁ*oOD5}=c\ǂ;e@5J@(\Pe^L`<DA*ni 8Ŀ Kp@XARAwG0Hܞ Tƃ*_Å*Æ*/Ă*ń*o炦~.p7v0o(O121)Wĸ9 ˜,VYK(   W?Equation Equation.30 Microsoft lQ_ 3.00BEquation Equation.30 Microsoft lQ_ 3.00 CEquation Equation.30 Microsoft lQ_ 3.00 DEquation Equation.30 Microsoft lQ_ 3.00'EEquation Equation.30 Microsoft lQ_ 3.00(FEquation Equation.30 Microsoft lQ_ 3.00C)G Microsoft lQ_ 3.0 Equation.30 Microsoft lQ_ 3.00-HEquation Equation.30 Microsoft lQ_ 3.000IEquation Equation.30 Microsoft lQ_ 3.00 1JEquation Equation.30 Microsoft lQ_ 3.0`/ 0DTimes New Romand5v 0( 0D[SOes New Romand5v 0( 0 DArial Blackmand5v 0( 0"0DArialBlackmand5v 0( 0"@DWingdingskmand5v 0( 0PDўSOgdingskmand5v 0( 0`DwiSO_GB2312kmand5v 0( 01pDN[_GB2312kmand5v 0( 01DSymbol12kmand5v 0( 0DLucida Sans Unicodev 0( 0"DMonotype Corsivadev 0( 0BDPMingLiUCorsivadev 0( 0ff .  @n?" dd@  @@`` 5$2%#&$&'()6 %    "    ! "#$b$\o"Nm6y 2$o fѯ zHe 2$#s٢(c 2$۔)lks 2$b^^ɳW&ʂ 2$]G}d&k {b$2$+;Ï˟$Ȏ2$CA}5bN!2$d()63٣c+K2$T#7\3~Q13 0e0e     A@  A5% 8c8c     ?1 d0u0@Ty2 NP'p<'pA)BCD|E||S" 3f@8C+ʚ;2Nʚ;g4PdPdv 0ppp@ <4!d!d` 0LP6<4dddd` 0LP6 ___PPT9nfFu88 PNG  IHDRW?sRGBgAMA7 cHRMz&u0`:pQ<(?)@*A+B,C-D.E/Se.s S_ i 0ؚ~N]zf 0 yf[QHr>y 19980 FN 0bT{:gyf[vpet; 0 yf[QHr>y 20000 sCQCQ 0{:gyf[-Nv;f[ 0 yf[QHr>y 19890R0' ` fDW&cC3` f}MMM&3fff` 333___` RP.-W~` ;%k)LnV6ff` m'@Q0 ;9]>?" dd@,? " Ud@ lF `A@`<`  n?" dd@   @@``PR    @ ` `p>> """" 2"(   (T 0   "9   c BCDEF@   @`"`)    c BCDEF@   @`"   c BCDDEF@ ?D ? @`"k   c B CDEFd@ N   @`"*    BC5DE,F2@  f*^&55 @   `"ua%a*  B  ^BC5DE,F2@  f*^&55 @   `"* *    BC5DE,F2@  f*^&55 @   `"S11*    hBC5DE,F2@  f*^&55 @   `"9 *    BC5DE,F2@  f*^&55 @   `"3=X *  B  |BBC5DE,F2@  f*^&55 @   `"Caa 2    BACDE4F2@  ay#A5B=%% @    `"z   < "F   c BCDEF@   @`"`t)    c BCDEF@   @`"t   c BCDDEF@ ?D ? @`"tk   c B CDEFd@ N   @`"tt   6 "A2    B CDE4F2@  [ Ai   @    `" N#*  B   -BC5DE,F2@  f*^&55 @   `" 0*  B   -BC5DE,F2@  f*^&55 @   `"  0*  B   -BC5DE,F2@  f*^&55 @   `"0 *   BC5DE,F2@  f*^&55 @   `"@F *   BC5DE,F2@  f*^&55 @   `"F*   BC5DE,F2@  f*^&55 @   `" v*   BC5DE,F2@  f*^&55 @   `"F*   BC5DE,F2@  f*^&55 @   `" F   H2 "[i  <i "% i LUSQdkYkHrh7h_     0i " i 8USQdkYkHre,g7h_ ,{N~ ,{ N~ ,{V~ ,{N~    6!i "q i ^* ! 6&i "  i `* " 6$*i "1 i `*H  0޽h ? fDW&cC3___PPT92p22 Network Blitz`$  $$0%%#(  T   "  c BCDEF@   @`"`)   c BCDEF@   @`"  c BCDDEF@ ?D ? @`"k  c B CDEFd@ N   @`"*   BC5DE,F2@  f*^&55 @   `"ua%a* B  ^BC5DE,F2@  f*^&55 @   `"* *    BC5DE,F2@  f*^&55 @   `"S11*    hBC5DE,F2@  f*^&55 @   `"9 *    BC5DE,F2@  f*^&55 @   `"3=X *  B  |BBC5DE,F2@  f*^&55 @   `"Caa 2    BACDE4F2@  ay#A5B=%% @    `"z  <" 9   c BCDEF@  @`"` ) 5   c BCDEF@  @`" 4   c BCDDEF@?D ? @`" k5   c B CDEFd@N   @`" 4 t  6" H 2   B CDE4F2@ [ Ai   @    `" #5 * B   -BC5DE,F2@ f*^&55 @   `"Os * B   -BC5DE,F2@ f*^&55 @   `" Os * B   -BC5DE,F2@ f*^&55 @   `"0@J *   BC5DE,F2@ f*^&55 @   `"@ 9 *   BC5DE,F2@ f*^&55 @   `" 9 *   BC5DE,F2@ f*^&55 @   `" 8 *   BC5DE,F2@ f*^&55 @   `" 9 *   BC5DE,F2@ f*^&55 @   `" 9   H2"  z  < "@  n  0 "P    C fAND:\FRONTPAGE THEMES\BLITZ\BTZBUL1A.GIF"r> ! 6$g " `  g LUSQdkYkHrh7h_   " 6g "@ b g NUSQdkYkHroRh7h_  # 6g "` g ^* $ 6pg "  g `* % 6g "  g `*H  0޽h ? fDW&cC3 LD (  x  c $g! `  g $  6`   4 -NVyf[b{b/gxvz@b zfOo`Yt͑p[[@c c A H  0޽h ? ̙33  @$(  r  S      r  S      H  0޽h ? fDW&cC3  P$(  r  S |     r  S 8   0P    H  0޽h ? fDW&cC3  `$(  r  S x     r  S 4     H  0޽h ? fDW&cC3  p$(  r  S L     r  S      H  0޽h ? fDW&cC3 @5,&(  ,r P 5, #"*P , Bd)? h  dl g @` , B1?Ph  tctĉR0lQtTf    @`  , B9? h  x[IN z^ZPNHNvSĉR    @`  , B:?P h  hINĉR @`  , BlC? 9   vg N*N z^vSĉR    @`  , BJ?P9  hSĉR @` , B S? Q9  $(u7bꁚ[INv&{S(Sϑ T Qpe TI{) @` , B\?PQ 9  r ^;&{S @` , B|\? pQ nOYuW[b&{S @` , B(p\?Pp Q h;&{S @` , Bw\? p n z^$ @` , By\?P p j;$ @`fB  , 6o ?P`B , 01 ?Ppp`B , 01 ?PQQ`B , 01 ?P9 9 `B , 01 ?P  fB , 6o ?PfB , 6o ?PP`B , 01 ?  fB , 6o ?`B , 01 ?Ph h  ), <ċ\ F ;N z^v[k  '$ H , 0޽h ? fDW&cC3x ( P0(  0 0 0x\  4FN*Nf/fN*Nl~g [1u&{S2N9hncN[ vĉR~b0[SbGPT~0 (WlQtS;-N ;~QN*N;lQtTct ĉRvƖT0ctĉR/fSNNN*NSvƖT_0R SNSvƖT0 lQtS;-Nvf1\/fN*NS^R O_ vQ-Nvk*NSHN/f;lQt HN/fN*NGP HN/f1uMRbvSǏctĉR_0Rv0x UCG2CcCc!C@C 0 <\ D xf '$H 0 0޽h ? fDW&cC3N `8(  8N 8 0Ĭ\  z(Wl N YgX[(WN*NNGPY0Rjvf R:NY "j yj1uYSc[Qv bSfv0 Yg(Wl gNUOGP Nj/fSc[Qv R:N "j yj:NSfv0 yN*NGPY/f NOSv YgX[(WN*NSj O_jTjv&T[GWS1uYc[_Q0 yN*N;|~/fNv bv[v(consistent) Yg NX[(W;|~vlQ_A O_"AN"A Teb z0x UCCCCc CCCGC Cg CCCG CCCCCGCGCCc Cc CR  8 <08\ D  f(l)2 '$'H 8 0޽h ? fDW&cC3 ~p4(  4 4 0Z  vvʑ/f(Wg*N(domain)-N[IN^; &{S0SvIN/f(Wʑ N[INQLvwGP(  hr h S xi   i r h S H$H t 0޽h ? fDW&cC3^ |(  | | <\ < PrologvW,gel8g$'$F | 0\  <PrologvgW,gbR/fy(term) N*N yb/f8^ϑ b/fSϑ b/fN*N~g0 8^ϑ/fc[aT[aKNvyr[sQ|v T tepe Y0 22 1586I{ SP[ YJohn student likes sister-of Sϑh:yNav[a [NFOL-NvSCQv T Prolog-NSϑSN(u'YQW[k NR~ NS1u[N _4YvW[k2N0YX, Y, Answer, _valueI{0 ~g/f8^ϑTSϑv^R [1uN*NQP[(Q͋ b͋)TQP[vSϑ@b~b0Y likes(john, X) married(mary, jack)4x Uy U5x Uy U<x Uy Ux U#x(Ucgcgcgcgcgaaa AaaaAagA&'CC  F H | 0޽h ? fDW&cC3 ld!x(  x x 0e\  O (1) likes(bell, sports) (2) likes(mary, smith) (3) likes(mary, sports) (4) likes(jones, smith) (5) friend(john, X) : likes(X, sports), likes(X, smith) (ĉR) (6) ? friends(john, Y) ()lx UgAAAAAA A  A  ~F x 0`.\ z  R(N[) X x 0p P l `P@  x @,$D 0 x s *`P@,$D 0 x s *`P ,$D 0  x <3\D& ,$D 0 N(7)? likes(X, sports), likes(X, smith)(G G Dl `@P  x@  ,$D 0`  x 0`0 P `  x 0`@Pd x 0 ~\Y  ,$D 0 L(8)? likes(bell, smith) (bell / X)h'GDl    x Pp ,$D 0`B xB 0D>  `B x 0D>   x <\ DP ,$D 0 N(7)? likes(X, sports), likes(X, smith)(G G 8l `P  x  ,$D 0Z x s *`` P Z x s *`P x 0x\ ,$D 0 L(8)? likes(mary, smith) (mary / X)h'ffGffff4 *l `0P !x0 ,$D  0Lt ` P  x` P,$D 0`B x 0D> P `B xB 0D>` P Z ` P  x `0P ,$D 0`B x 0D> P `B xB 0D>` P <l `   x`,$D  0`B x 0DԔ` `X x 00\s,$D 0 *Y = mary JohnNMary/f gS*  DH x 0޽h ? fDW&cC3 JB(    <@\ < PrologvW,gyrp8 g$'$  0L\  ` &HornP[S;/fPrologvW@x0 Prologe/fNy; z^ S/fN*N;|~0 Prolog/fNyc'` [/fNybTv `OSJTɋ[ZPNHN sS~Qvb__c NwS^勂YUOZP0 Prolog[hQO`9SM0VnegۏLd"}0PrologvBlǏ z/fN*N[Bl&TvmǏ z0 Prolog_NO(uCQyv͋ g_:_vcR0 PrologǑ(u~Nvpenc~g  y [S+Tc6RbR N gNۏLpe D-NvĉR/fĉRe RD:N:wt0Ix0UZg  Pr  0x*  P |[IND <D,W >:NN:wt G:NsQNDv N*N{P[ G\O(uNNav}TƖTS vQvN*NibEQ(extension)0~Ux0UZ&&' #   dl P  P ,$D0  0@  P  RO1D  { } W  f {:w tD <D,W >vibEQ0*x0UZ&  H   0A ??  c x d  0   P0,$D0 j@D <D,W > g/UNvibEQE  Th({B, F})0!x0UZ6 H  0޽h ? fDW&cC3D @x(    6D  P  FO2 D  { } W  {B, CF("A, A'"C E} {:wt D <D,W >vibEQ04Ix0UZ&# #  H(   6A  ??@x  d  09  0 P`@,$D0 D <D,W > g N*NibEQ E1  Th(W{A, C}) E2  Th(W{A, E}) E3  Th(W{C, E, G})Hx0UZ   ZH  0޽h ? fDW&cC3P P(    <)  %  5.P[ct8g<'<N  03  P@  1980t^ McCarthycQNNy^USvct  P[ct(Circumscription)0 W,g``NgNN[AQSYcQwQ ggN'`(vPv[a1\/fn'`(PvhQ[a0S gS_SsvQ[[a_NwQ g'`(e MbO9eُy wl0 `yx Ug#@d   !H  0޽h ? fDW&cC3* `j(     <`  % 6.w)(<OUT-~ph>)) IN-~ph-NvIN-~ph:ywƋ^-Nv]wwƋ; OUT-~ph-NvOUT-~ph:yُN~pv&T[0 O1: (1) s(W/fY)Y (SL( )( )) (2) )Yl_non (SL(1)( )) 00~p(1) NOVNNUO+Rv~p-NvS_MRO_b ؞O_,V ُy~py:NMRc; 00~p(2)ROVNS_MR~p(1)vO_. 00@bN NN6; N Tv/f,TMSSNdmMRc, v^SN[wƋ^\OS_O9e.\x8UZx0UZN  N  <H  Pp ~1 /echSL  $H  0޽h ? fDW&cC3 JB(    0ݠ  `` B O2: (1) s(W/fY)Y (SL( )( )) (2) )Yl_non (SL(1)(3)) (3) )Yl_r^q ~p(1)/fIN,~p(3)/fOUT,R~p(2)Mb:NIN. (Wg*Ne;RQs~p(3)vnc,R~p(2)1\S:N OUT,V:N[ NQ gN*N gHev[.a~p(2)ُ7h v~py:NGP,[N^zzvOUT~phvSL[ g sQ.OUT~p(3)/f~p(2)v[vNR.FOYg~ p(3) NX[(W,1\ Nُ7hh:yN. 00(WTMS-N,[N)R(u[eg~cN*Nv[vO_ penc^, [,gv^ NNu[.6x0UZ  $-#H  0޽h ? fDW&cC3 d\(    0L  `` h(CP <~> <IN-GP> <OUT-GP>) Yg~~p:NIN-~p,NS NRagNbz: (1) INGP-Nvk*N~p/fIN-~p; (2) OUT-GP-Nvk*N~p/fOUT-~p. HNagNfCP/f gHev. 00N,eg,OUT-GP;`/fzzƖ.TMSBlGPƖR Rb$N*N NvNvP[Ɩ,R+R:N N[wvvGPT [wvvGP. 008^S(WIN-GP-Nv~p:NIN,OUT-GP-N v~p:NOUT,R~~p:NIN.hx8UZx0UZSm       /  <H Pp 2 agNfCP  $H  0޽h ? fDW&cC3  T L (    <i   6.2 ؞GP  ,  0l  ` X(00N{F1, F2, & , Fn}h:y@b gSvO v؞GP ~pƖ,Gh:y b؞GPvSVv~p,sS1uG _w(W{F1, & , Fn}-NۏL:w b.ُ7hbN~T~ pNode(Fi)NY Nt1u: (SL(G)(F1, & , Fi-1 , Fi+1, & , Fn)) SFi:N؞GP. 00Yg NX[(WNUOvQ[sQNYUOۏL bvOo` RSN:NdFiKNYvQ[NUOeP N/fSOv ُ7hFi:NIN,vQ[Fj(i j)GW:NOUT.FOYgc6e0RN *N gHevt1u/ecg*NvQ[vO Fj,RFj1\:NIN, [FivGP1Y% S:NOUT.fgx0UZ#x8UZx0UZ               %           $H  0޽h ? fDW&cC3x ( (    <  6.3 vsQVn  ,  0웠  ` ,|00S_wƋ^-NQs NNe,TMS\[~bv^ Rd] ZPvN*N Ncknxv؞;,b` YN'`.[Sb N *Nek: (1) NNuvwv~p_Y,Vnߍ*wv~p vt1uEQv/ecN[~bwvvGPƖ,v^N-NSc \N*NGPO_Nmdwv. (2) g N*N~pU_wvNuvSV. (3) NS-N SGPA(sS NTtGP),v^[R(W vQt1uEQv/ecagN-NvN*NOUT-~p.$x0UZRH  0޽h ? fDW&cC3 D<(  p  0 P` ,$D0 R (4) wv (SL(1,3)( )) (hT N14:00l gzzO[)$*x0UZ*,   0 PP` @O3: (1) Oeg:Nfg N (SL( )(2)) (2) Oeg N^/ffg N (3) Oe:N14:00 (SL(32,40,61)())6Nx0UZL6  >  0D"F 0 P ,$D0 2 (5) Nv[ (CP4 (1,3)( ))$x0UZ 6  0O  P`,$D0  (2) Oeg N^/ffg N (SL(5)( )) ~p(2)N~p(5):NIN,1\_w~p(1):NOUT,V:N ~p(1)v[OVN~p(2)/fOUT.~p(4)s(W_N SbOUT.ۏ wv1\mdN. $ix0UZit     H  0޽h ? fDW&cC3 ^V(    <a } ~ 7 `ofo{ '<  0  dh `ofo{/fNyN6; ;N/f(uegh:yR` SSvNLuv0NLuv@b gSSǏ z/f R\O v~g0 N*NSNLuSSSN{USh:y:NR\Ov^R [/fǏ yKN:N`ofvN6y@bh:yv0 8^ϑS0h:yRY`of sSR\O؏l gSuev`of0 do(a, s)h:y(W`ofs-NgbLR\OaKNTvT~`of0 do(put(A, B), s)h:yS_NLur`:Nse \A>e0RB Nv~gُy`of0 do(putdown(A)), do(walk(L)), do(pickup(A)) /fNyh:yNLuSS1uR\O^R[pickup(A), walk(L), putdown(A)]@b~bv [N cgqNS0R]ve_~~0 x0UZ+x8UZDx0UZ_  d + H  0޽h ? fDW&cC3j (  r  0~ p0 :[IN1 [INLsitcalcvR\OtD:NY Nb__ D = " " Dss " Dap " Duna " DSo vQ-N "W@xv0[`ofo{vrzNWvlQt0 DapR\OMRcagNlQt DssT~r`lQt Duna[SP[R\Ov/UN}T TlQt DSocRY`b_vlQt0 x(U x(Uax U" * "  "  "  "   # " C          H  0޽h ? fDW&cC3&    f (  \  0Ȼ `` p WN`ofo{vNNW,gtTel bN)R(u [Neg;R;u;NSOv YBgR\OTǏ z \;NSOvT*N NRNc0 @9x0UZ4 8  0g ` |<1> SP[R\O Do(a, s, s) Poss(a[s], s) '" s = do(a[s], s)  x(U6x(UC                     "             6 8  0lz p  T<2> hR\O Do(?, s, s) [s] '" s = s & x(U"x(U                "      $    0z 0  <3> z^R\O Do([1, 2], s, s) ("s* ). Do([1], s, s* ) '" Do([2], s*, s)  x(UGx(U       G  T` H def "2$  TL P  H def "2$  T {P 0  H def "2$H  0޽h ? fDW&cC3 :2  (    0$  <4> $N*NR\Ov Nnx[ b Do((1 | 2), s, s) ("s* ). Do(1, s, s) (" Do(2, s, s)x(UBx(U         $'  T0  H def "2$  0   V<5> R\OSpev Nnx[ b Do((x) (x), s, s) ("x). Do((x), s, s) x(U2x(U    "  2  T 0 0  H def "2$8  0`\   <6> Nnx[S Y Do(*, s, s) ("P). {("s1)P(s1, s1) '"("s1, s2, s3) [P(s1, s2) '"Do(, s2, s3) " P(s1, s3)]} " P(s, s) t{x(U    " "    " "      "   "   " 6 4-  Tx@ 0  H def "2$H  0޽h ? fDW&cC3 0D(    <\ P R\OtN`ofo{vxvz"  '     00\ `0 |% MaCarthy[R`W-NvBl㉌T; z^ cQN`ofo{0 % Reiter Fangzhen Lin Pirria LifschitzI{N;N\ `ofo{ۏLNNNibEQ [r`~_g0R\Ot0 R`sQ|I{ebۏLNmeQvxvz v^Npenc^0:g hVNI{R`W:Ǹof ZPNNN; z^NS ^(uI{xvz0 % LevesqueTReitercQNNyevR`; Golog / ConGolog % BaralI{N͑p[r`vc0R\Ovh:yNctNS R`W-NvwƋh:yI{ebZPNNN]\O cQN Ny; z^ A-Prolog ?x0UZ$3 $3 `$3 $3>   b > H  0޽h ? fDW&cC3   $(  r  S 8g   g r  S T9g 0 g H  0޽h ? fDW&cC3xVMhA~3I&1RB`ADh K[=7-FlӤBA֍1\j W{*QPW}?ÿ$_rs)#Sy|grz~3ݩ)ga8ag_Sю91Oni}F\?'oAbq!?z]&~?}va1[[Z;L^ mkQ2s?? Kv/^?5G1sksO"NOrs"%: _?̻'^gd^ ;\q'9a$kEHqGYL㸅lHk|[P:ʹ y#l&mMf DxqhPN}>a|LH{Q {jE),9g2Y`9eg9?4M~ԞLp5nh9$RϱQ|_71.g(Ѩؚs͎;ъ//{^HP'nl z*|tP4fs9߳|_*:f>vӘhVh%~־JB&vBHB!7~vխl 'aCt oxVMhA~3fC)RC "M4ʊf4BAe0  `?bz7_kחv>~xixr슳:pE?a혅]󇑟j 䖟̕x& .R{'[o$Z@5>l~3` bWkTxnZ:ah܏DBTZ6{iƛ'E4b+X"%6 _O?-'^gȼv> NsH֎0a1K$$q !ؐ 6 t7Qs!g <Zlڴ=oPN}>|LHQfU+,pMfHcZ[e6=:ўsIRX۬{|/[ ela*c4?Rb4Zݾ]%}/uu:FHg/=0gRӘe|϶ADB)WG_WZLIcLc:Y[# {I1 9"EX,9-H+톫[@N`oToxVkA3fC)J E"ƤSI1Mj[P<E*Bx="ų(&ؘD6T@~d潙۷;ЄRNGTP%WժUOCMlSS`S`bvs)# *rz~՝_ SSd;⬇!pOy(3pc }rԘ*xY(BT<1:^I;k{~>l~lj{ny7ږY2s?? Vњ-OynGƫE4IL)g"!2_N[4ٲ1e3&Z&͢jO"3)[&5ʟɚ< RnDŽO mg9(Pqӧ?jOEfI3~};KKk^ٺ:qTd#$W@3g=Jb):mkSm\aXy9vb0 .'^ѯ:\N mj78"d=hw@BIW\Z__Op?D uqxVMhQv&1RBKQ!ؓh IS{6#ͦiRފz7 `=)(TKRD$z^5]٠(~μyo̼z{`-\8 4[a*eY>Uyog0 %C /ngnR>.kY>(LQr g+45/<17 ?,&l}ATƟƝCA?xM) X? =k} "=xwu,P4{ڏDBRmG }{k<.fdy1W- aݳO/gD]q?Iil)²[Y-*f.ɠ :BTWN!&k.̢F)%ܻET [\Ɣ9Mki"@Ǹt.5;CBxPWTO9~ f L¹h+e)tܞvYm^Y)Am ')q0hOWq L玘|LG0o{Jf/9 m!SS:b{z^V\VQFCFd9 *p~r8L7.$ Ó码)t*}k?‰?ٍn6z'v=xVkSA4P<G6iNM9I 8s8OS0q\u4'R}9?`<,Nә stv.2iq?yA效CLtQDEO6Z:p2c?!~V}vmԡ5L(!Ɍ!6&,r"s9TGv\r UwK9i9373X/~FoM&|3[?ilG#Wi24[i֏ mW۟Ф}mxh v@_4DҎ;"P򖏾AbCVH8 eNj Py3m ;P{~ טּw!L(ˡӘ(8E )4 |}HCGHI$JOw? sÛ{0nxM]O< ,x1zm4{K앏aQ*_ "xV_HQ?|smk.aPe VLZMtaGSK0aA J/)TKֹ>cRqw=;9KX.A Ri'3dL A.TT:-TFz65O[ "[_jA!*S08ozJ+tA LYf<A7q.&|yLsQ|P'~SV>|M~?oi(UejޢML^؜=['b.s/<F:cƣ;O:c.93,X#aa֢qy>@֕CVqev<ӝhq9ǐLU*Y^ 6&n \⚡O70}Ԫ?[ 3IG!Go4mf_ xKHTQ>Ԥ!#L .¨ BucL5y*T$E6-*"Q`a-LZDl튨ML{5ozQ xϹ{>{K˖Ծ $Ic p'dj: V=jus~m߁.qGO +&|y)>tBL#Ɠ:SCp*!e~dmH1OaEs|QC_>گK:-ikrr PXXXX 2T)Sc7&q4^fZ NZͧFwEEf2;>٥zACɮcqNA'VVͩ)Uz>OQbTQs^!7u()Zs H!ckdǐN!x?rˢp(w2v%& _Լ$^:Ҟp$4dvF̮X$G۬QɄ]Ɣ"$?KW-IGث"2|"QK=Bkķ4gcL.hee7.Mo*vF?NG&g[ľE׊ӺHoFpqweS '[tbpQk0Htc]|NCPe:RqoܧduLJP+y?fu {;ך'>Twou11itLh| [4/4uj8|/ѩ]>]MV:0ė_AQ|v*Wѧ'.>M(liXjcxWMhA~36KC)REji-R"6`biD"FMRҖ"؃[ ^LRPւғHXL|ov6lҿ oy73o{oO?ԭ>4}"tٜ 6&Ez6˙͹})FqoL> O4C$[h1Ǣ/qѾ`tκ׾|~) M`"%qZgx !# J ?]~J{q#6GQ?zV~74(n*jGwefxYqm_]Q+^M^N&R+imѻZGkȦ~?<JGqaf~O0֕C!qS>d? z)]ԌUL8ZYl۹2zP;쬁&h%,6ٸ+lCZSH1cl/Z=j*dz;8pbF}ѭvU]9ڀbLpWgYF=f+ǔ 1!r~ h,҂Q/ as~.y?]YM*a\&`.'@Nnԋy`W{'Yy>9 3" Voq|WoȇK'CU,T䎀0j9qܯґ2{ 6 3y8zuI>B)tVSʔjZSOtg2|jNQjT2~ OB d\R*V:a?m?ލ8 b!kbyR30 #›_Aqe[[I;6Q*^R-xVOHa7;H!ɖe B[vnꮭ @:ttNAKQOy| 48.?}|izr!QO't̙}-`c)8Fb?@ɭZTpགۃ8tG5Kwkb>Kwg L<d*11NM?-׊$B71֯ik2 9#l#Bc)G} Sq:>._qh)T[ѹH|n%wN+v]U2֠Ϩl"E:]U˟HMEOB9X/I84; KF'.ڟq%*ݨfTw:-p:Әδs|Ӿpmcx1l'.PfHxWMHTQ>q80xHT*PQZhUM83?-B J2" C Zicka~f:^Qf!;9ν{ȠA2U4SC+LR8M}TЁ'p\{xD>̭`KŽ1p!_t֋޽}4{`^>I9/08=r?هUGAFqN5*G)VCI?;p(1@18@|jJ6gFs kLfMk̵ßЩhtx0|hjh4VWYt Bш044Ɓ9'Jġt=@/5a'kuRq8q 5%+\<%w9%V pY+l\; RehM} Pqcrn/* 6)[lpV)sՔW~>)\98B0zvi{v^n׷uP --iM0z㣱`dZ?[d٩&MV“^hV ^cLc:JiSjtrT=g/߮>F! ؍( -ԃ`O3[y`ƠO~!<EحxN2:{7-WUrK$s02γNN@>"*$&*q :,rRo+0B.5"/@AL50T$YV^9rcjinsc EMFTimes New Roman Arial BlackArial Wingdings _GB2312 _GB2312SymbolRoot EntrydO)00Pictures&Current User2SummaryInformation(      !"#$%&'(z=2345678;<BCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwx{|}~ _GeƼcPfN՜.+,0@    ĻʾIIPke0' >Times New Roman Arial BlackArial Wingdings _GB2312 _GB2312SymbolEquation Equation.30 Microsoft lQ_ 3.0Equation Equation.30 Microsoft lQ_ 3.0 Equation Equation.30 Microsoft lQ_ 3.0 Equation Equation.30 Microsoft lQ_ 3.0'Equation Equation.30 Microsoft lQ_ 3.0(Equation Equation.30 Microsoft lQ_ 3.0C) Microsoft lQ_ 3.0 Equation.30 Microsoft lQ_ 3.0-Equation Equation.30 Microsoft lQ_ 3.00Equation Equation.30 Microsoft lQ_ 3.0 1Equation Equation.30 Microsoft lQ_ 3.0^/ 0DTimes New Roman00F0D[SOes New Roman00F0 DArial Blackman00F0"0DArialBlackman00F0"@DWingdingskman00F0PDўSOgdingskman00F01`DwiSO_GB2312kman00F01pDN[_GB2312kman00F01DSymbol12kman00F0DLucida Sans UnicodeF0"DMonotype CorsivadeF0BDPMingLiUCorsivadeF0Ff .  @n?" dd@  @@`` 5$2%#&$&'()6 %    "    ! "#$b$\o"Nm6y 2$o fѯ zHe 2$#s٢(c 2$۔)lks 2$b^^ɳW&ʂ 2$]G}d&k {b$2$+;Ï˟$Ȏ2$CA}5bN!2$d()63٣c+K2$T#7\3~Q13 0e0e     A@  A5% 8c8c     ?1   !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~1d0u0@Ty2 NP'p<'pA)BCD|E||S" 3f@8+ʚ;2Nʚ;g4KdKd(ЖF0bppp@ <4!d!d@00<4dddd@00 th___PPT10H0D[SOes New Roman00TF0TDLucida Sans UnicodeTF0T" DArial Sans UnicodeTF0T"0DTimes New RomanodePowerPoint Document( keDocumentSummaryInformation8pRoot EntrydO)g;aAPictures&Current User/SummaryInformation(      !"#$%&'(z2345678;<B=CDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwx{|}~ _Geshizzshizz՜.+,0@    ĻʾIIPke0' >Times New Roman Arial BlackArial Wingdings _GB2312 _GB2312SymbolTF0T pp___PPT9nfFu88 PNG  IHDRW?sRGBgAMA7 cHRMz&u0`:pQ<+,/25 6!7"9#:$;%<&='>(?)@*A+B,C-D.E/Se.s S_ i 0ؚ~N]zf 0 yf[QHr>y 19980 FN 0bT{:gyf[vpet; 0 yf[QHr>y 20000 sCQCQ 0{:gyf[-Nv;f[ 0 yf[QHr>y 19890  %0 LDP0(  0 0 0  Vd N*Nf/fN*Nl~g [1u&{S2N9hncN[ vĉR~b0[SbGPT~0 (WlQtS;-N ;~QN*N;lQtTct ĉRvƖT0ctĉR/fSNNN*NSvƖT_0R SNSvƖT0 lQtS;-Nvf1\/fN*NS^R O_ vQ-Nvk*NSHN/f;lQt HN/fN*NGP HN/f1uMRbvSǏctĉR_0Rv0x U CG7CcC c 'C?C 0 < D z f '$H 0 0޽h ? fDW&cC3y___PPT10Y+D=' = @B +U0 |t`8 (  8 8 00+  Z (Wl N YgX[(WN*NNGPY0Rjvf R:NY "j yj1uYSc[Qv bSfv0 Yg(Wl gNUOGP Nj/fSc[Qv R:N "j yj:NSfv0 yN*NGPY/f NOSv YgX[(WN*NSj O_jTjv&T[GWS1uYc[_Q0 yN*N;|~/fNv bv[v(consistent) Yg NX[(W;|~vlQ_A O_"AN"A Teb z0&x UCCCCc CCCGC C g CCCG CCCCCGCG ECCc Cc      C b   8 <# D  f(l)2 '$'$H 8 0޽h ? fDW&cC3y___PPT10Y+D=' = @B + 0 p4r(  4  4 0>   vʑ/f(Wg*N(domain)-N[IN^; &{S0SvIN/f(Wʑ N[INQLvwGP+B#style.visibility<*<%(D' =-6B%slide(fromBottom)*<3<*<+8+0+<0 +4 0 PHd(  db d 0 *  DS$R[v N*N;y:N/fS$R[v(decidable) YgX[(W N*N{l[;-NvNNlQ_ A Snx[" A/f&Tb z0&TR y:N/f NS$R[v(undecidable) 0 Yg N{l} NN[X[(W tS gN*NǏ z S[|~v[tZPQ[v$Re FO[^[tvlQ_Ǐ z*g_~bk V *g_\OQ$Re0ُey;/fJSS$R[v0 x UG C CcCC c C CcSCc C |  K d <d ~ S$R['`2'$'> d 0|1  0,$D 0 (N6;/f NS$R[v FO[/fJSS$R[v0>x Ugc H d 0޽h ? fDW&cC3___PPT10d+^D' = @B D' = @BA?%,( < +O%,( < +D' =%(D' =%(DR' =A@BB BB0B%(D' =1:Bvisible*o3>+B#style.visibility<*d%(D' =-6B%slide(fromBottom)*<3<*d+8+0+d0 +r$ @4`B:#LY/# zeE ________________________<_<_<_<_<<<<<_<<<<<<<_<<<<<<__<<<<<<<____________e________<_<_<_<_<_<_<_<__________________________e___________________<___<___<___________________________________<___<_<_<_<_<_<_<_<_<_<___<_<_<_<______________e_e___________e__<___<_________________________________________<_<_<_<_<_<_<_<_______________________________<_<_<_<_<<<_<<<_<<<_<<<_<<__<<<_<<<_______________________<_<_<___<_<_<_<________________________________________________<___<___________________________________________<_<_<_<_<_<_<_<_<_<_<_<_<_<____________________________e____<______________________________f_____________ """)))UUUMMMBBB999|PP3f333f3333f3ffffff3f̙3ff333f333333333f33333333f33f3ff3f3f3f3333f33̙33333f333333f3333f3ffffff3f33ff3f3f3f3fff3ffffffffff3ffff̙fff3fffff3fff333f3f3ff3ff33f̙̙3̙ff̙̙̙3f̙3f333f3333f3ffffff3f̙3f3f3f333f3333f3ffffff3f̙3f3ffffffffff!___www    """)))UUUMMMBBB999|PP3f333f3333f3ffffff3f̙3ff333f333333333f33333333f33f3ff3f3f3f3333f33̙33333f333333f3333f3ffffff3f33ff3f3f3f3fff3ffffffffff3ffff̙fff3fffff3fff333f3f3ff3ff33f̙̙3̙ff̙̙̙3f̙3f333f3333f3ffffff3f̙3f3f3f333f3333f3ffffff3f̙3f3ffffffffff!___www4%A x(xK_______________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________<___<___<___<___<___<___<___<___<___<___<___<___<___<_<_____<_<___<___<________<___<___<___<___<___<___<___<___<___<___<_____________________________________________________________________________________________________________________________________________________________________<___<___<___<___<___<___<___<___<___<___<___<___<___<___<___<___<___<___<___<___<___<___<___<___<___<___<___<___<___<___<___<___<___<___<___<___<___<___<___<_________________________________________________________________________________________________________________________________________________________________<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<__<_<_<___<_<_<___<_<_<___<_<_<___<_<_<___<_<_<___<_<_<___<_<_<___<_<_<___<_<_<___<_<_<___<_<_<___<_<_<___<_<_<___<_<_<___<_<_<___<_<_<___<_<_<___<_<_<___<_<_<__<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<__<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<<<<_<<<_<<<_<<<_<<<_<<<_<<<_<<<_<<<_<<<_<<<_<<<_<<<_<<<_<<<_<<<_<<<_<<<_<<<_<<<_<<<_<<<_<<<_<<<_<<<_<<<_<<<_<<<_<<<_<<<_<<<_<<<_<<<_<<<_<<<_<<<_<<<_<<<_<<<_<<<__<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<<_<<<_<<<_<<<_<<<_<<<_<<<_<<<_<<<_<<<_<<<_<<<_<<<_<<<_<<<_<<<_<<<_<<<_<<<_<<<_<<<_<<<_<<<_<<<_<<<_<<<_<<<_<<<_<<<_<<<_<<<_<<<_<<<_<<<_<<<_<<<_<<<_<<<_<<<_<<<_<<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<<_<_<_<_<_<_<_<_<___<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<___<_<_<_<_<_<_<_<_<_<_<___<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<_<__<___<___<_e_<___<___<_e_