45'6(71+8 3%),)/'()#% "#$%&'()#%*+#,+-#.)/+01#.1'22)%. - PowerPoint PPT Presentation

45'6(71+8 3%),)/'()#% "#$%&'()#%*+#,+-#.)/+01#.1'22)%. 3%),)/'()#% !

9$(:)%7 3%&71*('%&)%.+(57+%77&+,#1+$%),)/'()#%+ ;7,)%)%.+':65'<7(*=+(712*=+'%&+*$<*()($()#%* >%(1#&$/)%.+(57+?'1(7::)@?#%('%'1)+A:.#1)(52+,#1+$%),)/'()#% 01#B)%.+/#117/(%7**+#,+(57+':.#1)(52 "#$%&'()#%*+#,+-#.)/+01#.1'22)%. 3%),)/'()#% 8

D57+E77&+(#+071,#12+3%),)/'()#%+F>G direct(frankfurt,san_francisco). direct(frankfurt,chicago). direct(san_francisco,honolulu). direct(honolulu,maui). connection(X, Y) :- direct(X, Y). connection(X, Y) :- direct(X, Z), connection(Z, Y). | ?- connection(frankfurt, maui). yes "#$%&'()#%*+#,+-#.)/+01#.1'22)%. 3%),)/'()#% C

D57+E77&+(#+071,#12+3%),)/'()#%+F>>G p(f(X),g(f(c),X)). | ?- p(U,g(V,f(W))). U = f(f(W)), V = f(c) | ?- p(U,g(c,f(W))). no | ?- p(U,g(V,U)). U = f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f ... "#$%&'()#%*+#,+-#.)/+01#.1'22)%. 3%),)/'()#% H

J'%K7&+A:65'<7(5*+'%&+D712+3%)B71*7* L'1)'<:7* J'%K7&+':65'<7(+)*+'+,)%)(7+*7(+M+#,+*N2<#:*O+(#+7B71N+*N2<#:+'+%'($1':+%$2<71+ ! +P+ F)(*+'1)(N+#1+1'%KG+)*+'**).%7&+FM F ! G +&7%#(7*+(57+*$<*7(+#,+M+Q)(5+*N2<#:*+#,+'1)(N+ ! G 0'17%(57*7*=+/#22'* " +*7(+#,+B'1)'<:7*=+ # +1'%K7&+':65'<7(+#,+,$%/()#%+*N2<#:*R D712+$%)B71*7+ $% # = " +F#B71+ # +'%&+ " G+)*+*2'::7*(+*7(+ $ +#,+(712*+Q)(5 !S+ " + ! $ + " # FPG+ F':*#+/'::7&+'+/#%*('%(G 8S+ & + + " $ =+),+ & + + " # F ! G +Q)(5+ ! + ! +!+'%&+ ' ! =+SSS=+ ' ! + + CS+ & F ' ! =+SSS=+ ' ! G+ + " $ =+),+ & + + " $ "#$%&'()#%*+#,+-#.)/+01#.1'22)%. 3%),)/'()#% I

U1#$%&+D712*+'%&+V$<@D712* "() F ' G+R ! +*7(+#,+B'1)'<:7*+)% *' ' +.1#$%&+(712+R ! + "() F ' G+W+ ! + +*$<@(712+#,+ ' +R ! +(712+ + +)*+*$<@*(1)%.+#,+ ' "#$%&'()#%*+#,+-#.)/+01#.1'22)%. 3%),)/'()#% T

V$<*()($()#%*+F>G " +*7(+#,+B'1)'<:7*=+,)%)(7+*7(+ , + ! + " =+ # +1'%K7&+':65'<7(R V$<*()($()#%+R ! +,$%/()#%+ # +R+Y+Z+ $% # = " +Q)(5+ - + $ + # F - G+,#1+7B71N+ - + " + , [7+$*7+%#('()#%+ # +W+\ - ! ] ' ! =+SSS=+ - !* .' ! ^=+Q5717 !S+ , +W+\ - ! =+SSS=+ - ! ^ 8S+ # F - / G+W+ ' / +,#1+7B71N+ - / + " + , "#$%&'()#%*+#,+-#.)/+01#.1'22)%. 3%),)/'()#% X

V$<*()($()#%*+F>>G 4#%*)&71+'+*$<*()($()#%+ # +W+\ - ! ! ' ! =+SSS=+ - !* ! ' ! ^S 012'3*+45+'/'4'/6!* " *7 ! + ! +W+P # +.1#$%&+*$<*()($()#%+R ! + ' ! =+SSS=+ ' ! +.1#$%&+(712* # +6$17+B'1)'<:7+*$<*()($()#%+R ! + ' ! =+SSS=+ ' ! +B'1)'<:7* # +17%'2)%.+R ! +\ ' ! =+SSS=+ ' ! ^+W++\ - ! =+SSS=+ - ! ^ 861 F # G+R ! +\ - ! =+SSS=+ - ! ^ ! " R+ # ` 9 +R ! +\ 3 ! ' ++`++ 3 ! ' + + +'%&+ " % " 9 ^ 9 + + 3 + + "#$%&'()#%*+#,+-#.)/+01#.1'22)%. 3%),)/'()#% _

A66:N)%.+V$<*()($()#%* " 861 F # G=+(57%+ - # ++R ! + # F - G >,+ - +)*+'+B'1)'<:7+'%&+ - + + >,+ - +)*+'+B'1)'<:7+'%&+ - + & + 861 F # G=+(57%+ - # ++R ! + - & F ' ! =+SSS=+ ' ! G # +R ! + & F ' ! # =+SSS=+ ' ! # G ' +)%*('%/7+#,+ + ++R ! +(5717+)*+*$<*()($()#%+ # +Q)(5+* # +W+ ' + +2#17+.7%71':+(5'%+ ' +R ! *' +)%*('%/7+#,+ + '* B'1)'%(+#, *+ +R ! +(5717+)*+17%'2)%.+ # +Q)(5+ + # +W+ ' -722'+8SI ' +B'1)'%(+#,+ + +),,+ ' +)%*('%/7+#,+ + +'%&+ + +)%*('%/7+#,+ ' "#$%&'()#%*+#,+-#.)/+01#.1'22)%. 3%),)/'()#% a

4#26#*)()#% -7(+ # +'%&+ ' +<7+*$<*()($()#%*S D57+/#26#*)()#%+ #' +)*+&7,)%7&+<N+F #' GF - G+R ! +F - # G +,#1+7'/5+B'1)'<:7+ ' - -722'+8SC -7(+ # +W+\ - ! ! ' ! =+SSS=+ - !* ! ' ! ^=+ +W+\ ' 3 ! ! + ! =+SSS=+ 3 1* ! + 1 ^S D57%+ # +/'%+<7+/#%*(1$/(7&+,1#2+(57+*7b$7%/7 ' + - ! ! ' ! ' =+SSS=+ - !* ! ' ! =+ ' 3 ! ! + ! =+SSS=+ 3 1* ! + 1 + !S <N+172#B)%.+'::+<)%&)%.*+ - / ! ' / +Q5717+ ' - / +W ' / =+ ' " - ! =+SSS=+ - ! ^ + '%&+'::+<)%&)%.*+ 3 : ! + : +Q5717+ 3 : + +\ + 8S <N+,#12)%.+'+*$<*()($()#%+,1#2+(57+17*$:()%.+*7b$7%/7+ cd'26:7*R \ - ! 3 =+ ; ! - ^+e+\ 3 ! X=+ - ! ; ^+W+\ - ! X=+ 3 ! X^ \ 3 ! X=+ - ! ; ^+e+\ - ! 3 =+ ; ! - ^+W+\ 3 ! X=+ ; ! - ^ "#$%&'()#%*+#,+-#.)/+01#.1'22)%. 3%),)/'()#% !P

A+V$<*()($()#%+91&71)%. ;7,)%)()#%+8ST -7(+ # +'%&+ ( +<7+*$<*()($()#%*S # +2#17+.7%71':+(5'%+ + ( R ! + +W+ ( #' +,#1+*#27+*$<*()($()#%+ ' cd'26:7*R # +W+\ - ! 3 ^+)*+2#17+.7%71':+(5'%+ +W+\ ( - ! ( = 3 ! ( ^+FQ)(5+ +W+\ ' 3 ! ( ^G # +W+\ - ! 3 ^+)*+%#(+2#17+.7%71':+(5'%+ +W+\ ( - ! ( ^+ *)%/7+,#1+7B71N+ +Q)(5+ +W+ ' ( %' R " - ! 3 ^ + + ' ) 3 ! ( + + + " ' ) 3 + + " 861 F # G+W+ ' ( - ! ( + +\ + 861 F G "#$%&'()#%*+#,+-#.)/+01#.1'22)%. 3%),)/'()#% !!

3%),)71* ;7,)%)()#%+8Sa *$<*()($()#%+ # +)*+$%),)71+#,+(712*+ + +'%&+ ' +R ! + + # +W+ ' # + +'%&+ ' +$%),)'<:7+R ! +'+$%),)71+#,+ + +'%&+ ' +7d)*(* # +2#*(+.7%71':+$%),)71+F MGU G+#,+ + +'%&+ ' +R ! # +$%),)71+#,+ + +'%&+ ' +(5'(+)*+2#17+.7%71':+(5'%+'::+$%),)71*+#,+ + +'%&+ ' -7(+ + ! =+SSS=+ + ! =+ ' ! =+SSS=+ ' ! +<7+(712*S -7(+ + / + ! + ' / +&7%#(7+(57+F#1&717&G+6')1+F + / =+ ' / G+'%&+:7(+ < +W+\ + ! + ! + ' ! =+SSS=+ + ! + ! + ' ! ^S # +)*+$%),)71+ < +R ! + + / # +W+ ' / # +,#1+7B71N+ / + +f!=+ " ! g # +2#*(+.7%71':+$%),)71+F MGU G+#,+ < +R ! # +$%),)71+#,+ < +(5'(+)*+2#17+.7%71':+(5'%+'::+$%),)71*+#,+ < "#$%&'()#%*+#,+-#.)/+01#.1'22)%. 3%),)/'()#% !8

3%),N)%.+V7(*+#,+0')1*+#,+D712* V7(*+ < +'%&+ <= +#,+6')1*+#,+(712*+7b$)B':7%( R ! + < +'%&+ <= +5'B7+(57+*'27+*7(+#,+$%),)71* \ - !+ ! + ' ! =+SSS=+ - ! * ! + ' ! ^+*#:B7& R ! + - / =+ - : +6')1Q)*7+&)*()%/(+B'1)'<:7*+F!+ + * / + + $ : + + * ! G+'%&+%#+ - / +#//$1*+)%+ ' : +F!+ + * / =+ : + + * ! G -722'+8S!I >,+ < +W+\ - ! + ! + ' ! =+SSS=+ - ! + ! + ' ! ^+)*+*#:B7&=+(57%+ # +W+\ - ! ! ' ! =+SSS=+ - !* ! ' ! ^+)*+'%+ MGU +#,+ <> 01##,R F)G - / # +W+ ' / +W+ ' / # +'%& + F))G ,#1+7B71N+$%),)71+ +#,+ ' < R+ - / +W+ ' ' / +W+ ' - / # +,#1+7B71N+ ' / + +f!=+ " ! g + '%&+ - +W+ ' - # +,#1+7B71N+ ' - + & +\ - ! =+SSS=+ - ! ^O+(5$*+ +W+ ' %' S "#$%&'()#%*+#,+-#.)/+01#.1'22)%. 3%),)/'()#% !C

?'1(7::)@?#%('%'1)+A:.#1)(52 -7(+ < +<7+'+*7(+#,+6')1*+#,+(712*S A*+:#%.+'*+6#**)<:7+/5##*7+%#%&7(712)%)*()/'::N+'+6')1+#,+'+,#12+<7:#Q+'%&+ 671,#12+(57+'**#/)'(7&+'/()#%S F!G & F + ! =+SSS=+ + ! G ! & F ' ! =+SSS=+ ' ! G+ 176:'/7+<N+ + ! ! ' ! =+SSS=+ + ! ! ' ! F8G & F + ! =+SSS=+ + ! G ! ? F ' ! =+SSS=+ ' 1 G+Q5717+ & + + $ ? + 5':(+Q)(5+,'):$17 FCG - ! -* &7:7(7+(57+6')1 FHG ' ! -* Q5717 *' +)*+%#(+'+B'1)'<:7 176:'/7+<N+ - ! ' FIG - ! ' +Q5717 - + " & + "() F ' G+'%& 671,#12+*$<*()($()#%+\ - ] ' ^ + - +#//$1*+)%+*#27+#(571+6')1 +++++#%+'::+#(571+6')1* FTG - ! ' +Q5717 - + + " "() F ' G+'%&+ - + + $ ' 5':(+Q)(5+,'):$17 D57+':.#1)(52+(712)%'(7*+Q)(5+*$//7**+Q57%+%#+'/()#%+/'%+<7+671,#127&S + F8G+ + +h/:'*5i=+FTG+ + +h#//$1+/57/Ki@,'):$17 "#$%&'()#%*+#,+-#.)/+01#.1'22)%. 3%),)/'()#% !H

?'1(7::)@?#%('%'1)+FD57#172G D57#172+8S!T >,+(57+#1).)%':+*7(+ < +5'*+'+$%),)71=+(57%+(57+':.#1)(52+*$//7**,$::N+(712)%'(7*+ '%&+61#&$/7*+'+*#:B7&+*7(+ <= +(5'(+)*+7b$)B':7%(+(#+ < O+#(571Q)*7+(57+':.#1)(52+ (712)%'(7*+Q)(5+,'):$17S -722'+8S!I+)26:)7*+(5'(+)%+/'*7+#,+*$//7**+ <= +&7(712)%7*+'%+ MGU +#,+ < S "#$%&'()#%*+#,+-#.)/+01#.1'22)%. 3%),)/'()#% !I

01##,+V(76* !S 01#B7+(5'(+(57+':.#1)(52+(712)%'(7*S 8S 01#B7+(5'(+7'/5+'/()#%+176:'/7*+(57+*7(+#,+6')1*+<N+'%+7b$)B':7%(+#%7S CS 01#B7+(5'(+),+(57+':.#1)(52+(712)%'(7*+*$//7**,$::N=+(57%+(57+,)%':+*7(+#,+ 6')1*+)*+*#:B7&S HS 01#B7+(5'(+),+(57+':.#1)(52+(712)%'(7*+Q)(5+,'):$17=+(57%+(57+*7(+#,+6')1*+'(+ (57+2#27%(+#,+,'):$17+&#7*+%#(+5'B7+'+$%),)71S "#$%&'()#%*+#,+-#.)/+01#.1'22)%. 3%),)/'()#% !T

J7:'()#%* @ +17:'()#%+#%+'+*7(+ " +R ! + @ + ! " + + + , " @ +17,:7d)B7++R ! +F ( =+ ( G+ + " @ +,#1+'::+ ( + + " " @ +)117,:7d)B7++R ! +F ( =+ ( G+ & + @ +,#1+'::+ ( + + " " @ +'%()*N227(1)/++R ! +F ( =+ 5 G+ + " @ +'%&+F 5 =+ ( G+ + " @ +)26:)7*+ ( +W+ 5 @ +(1'%*)()B7++R ! +F ( =+ 5 G+ + " @ +'%&+F 5 =+ A G+ + " @ +)26:)7*+F ( =+ A G+ + " @ "#$%&'()#%*+#,+-#.)/+01#.1'22)%. 3%),)/'()#% !X

[7::@,#$%&7&+91&71)%.* F " =+ " G+F17,:7d)B7G+6'1()':+#1&71)%.+ R ! + "# 17,:7d)B7=+'%()*N227(1)/=+'%&+(1'%*)()B7+17:'()#%+#%+ " F " =+ $ G+F)117,:7d)B7G+6'1()':+#1&71)%.+ R ! + $# 17,:7d)B7+'%&+(1'%*)()B7+17:'()#%+#%+ " )117,:7d)B7+6'1()':+#1&71)%.+F " =+ $ G+Q7::@,#$%&7& R ! (5717+)*+%#+)%,)%)(7+&7*/7%&)%.+/5')% +++++++++++++++++SSS+ $ + ( 8 + $ + ( ! + $ + ( P " " #,+7:727%(*+ ( P =+ ( ! =+ ( 8 =+SSS+ + cd'26:7*R - * . * ! F =+ G=+F =+ G=+F # F\!=+8=+C^G=+ G+'17+6'1()':+#1&71)%.*O F =+jG=+F - . =+jG=+F # F\!=+8=+C^G=+ G+'17+)117,:7d)B7+6'1()':+#1&71)%.*O / F =+jG=+F - # F\!=+8=+C^G=+ G+'17+Q7::@,#$%&7&=+Q5717'*+F / . =+jG+)*+%#(S "#$%&'()#%*+#,+-#.)/+01#.1'22)%. 3%),)/'()#% !_