56'7(41+8 3412)%'()#%+#,+01#.1'2* - - PowerPoint PPT Presentation

!

"#$%&'()#%*+#,+-#.)/+01#.1'22)%. 3412)%'()#%+#,+01#.1'2*

56'7(41+8 3412)%'()#%+#,+01#.1'2*

9

"#$%&'()#%*+#,+-#.)/+01#.1'22)%. 3412)%'()#%+#,+01#.1'2*

:$(;)%4

• 4<4;+2'77)%.*

=4%41';;>+(412)%'()%.+71#.1'2*?+@4/$114%(+71#.1'2*

• 4,(+(412)%'()%.+71#.1'2*?+A//47('B;4+71#.1'2*

C

"#$%&'()#%*+#,+-#.)/+01#.1'22)%. 3412)%'()#%+#,+01#.1'2*

D#4*+(6)*+01#.1'2+3412)%'(4E

wine(riesling, chicken). wine(riesling, veal). wine(kerner, veal). diff(riesling, kerner). diff(kerner, riesling). interchangeable(X, Y) :- wine(X, Z), wine(Y, Z), diff(X, Y).

F

"#$%&'()#%*+#,+-#.)/+01#.1'22)%. 3412)%'()#%+#,+01#.1'2*

D#+(64*4+(G#+3412)%'(4E

edge(a, b). edge(b, c). edge(d, e). path(X, Y) :- edge(X, Y). path(X, Y) :- edge(X, Z), path(Z, Y). arc(a, b). arc(b, c). arc(d, e). connected(X, Y) :- arc(X, Y). connected(X, Y) :- connected(X, Z), arc(Z, Y).

H

"#$%&'()#%*+#,+-#.)/+01#.1'22)%. 3412)%'()#%+#,+01#.1'2*

A%&+(6)*+#%4E

edge(a, b). edge(b, c). edge(d, e). edge(c, a). path(X, Y) :- edge(X, Y). path(X, Y) :- edge(X, Z), path(Z, Y).

I

"#$%&'()#%*+#,+-#.)/+01#.1'22)%. 3412)%'()#%+#,+01#.1'2*

J6'(+AB#$(+(6)*+#%4E

edge(a, b). edge(b, c). edge(d, e). edge(c, a). dpath(X, Y, _) :- edge(X, Y). dpath(X, Y, Depth) :- Depth > 0, edge(X, Z), Depth1 is Depth – 1, dpath(Z, Y, Depth1). path(X, Y) :- dpath(X, Y, 10).

K

"#$%&'()#%*+#,+-#.)/+01#.1'22)%. 3412)%'()#%+#,+01#.1'2*

A+D),,)/$;(+#%4+LLL

jump(1). jump(N) :- N > 1, N mod 2 =:= 1, N1 is 3*N + 1, jump(N1). jump(N) :- N > 1, N mod 2 =:= 0, N1 is N // 2, jump(N1).

8

"#$%&'()#%*+#,+-#.)/+01#.1'22)%. 3412)%'()#%+#,+01#.1'2*

3412)%'()#%+M'>+D474%&+#%+(64+N$41>

app([], X, X). app([X|Y], Z, [X|U]) :- app(Y, Z, U). 364+O$41> app([a,b], Y, Z) (412)%'(4*L 364+O$41> app(X, Y, [c,d]) (412)%'(4*L 364+O$41> app(X, [e,f], Z) &#4*+%#(+(412)%'(4L P#G+/'%+G4+71#<4+(6'(+/41(')%+71#.1'2*+'%&+O$41)4*+(412)%'(4E

Q

"#$%&'()#%*+#,+-#.)/+01#.1'22)%. 3412)%'()#%+#,+01#.1'2*

=4%41';+<*L+0@:-:=+3412)%'()#%

app([], X, X). app([X|Y], Z, [X|U]) :- app(Y, Z, U). app3(X, Y, Z, U) :- app(X, Y, V), app(V, Z, U). N$41> app3([a], [b], [c], U) 6'*+'%+)%,)%)(4+R-DS&41)<'()#%L P#G4<41T+0@:-:=+(412)%'(4*L

!U

"#$%&'()#%*+#,+-#.)/+01#.1'22)%. 3412)%'()#%+#,+01#.1'2*

M$;()*4(*

2$;()*4(+VG1)((4%+!"#V"!T+LLLT+"$WW ?! $%#1&414&+*4O$4%/4+"!T+LLLT+"$ !!+V#%+,)%)(4+2$;()*4(*+#,+%'($1';+%$2B41*W ?! %+!!+&+),,+%+X+V&+Y+!"#V"WW+ + ! ' + ,#1+*#24+"+ + " &+'%&+'+*$/6+(6'(+#!+ + " 'L+!+Z+" J4+G1)(4+()*V%T+&W+?!+"+'%&+$+,V%T+&W+?!+'L [#(4?+!!+)*+)114,;4\)<4+'%&+'%()*>224(1)/

!!

"#$%&'()#%*+#,+-#.)/+01#.1'22)%. 3412)%'()#%+#,+01#.1'2*

M$;()*4(+:1&41)%.

(1'%*)()<4+/;#*$14+#,+'+14;'()#%+-+#%+'+*4(+" ?! *2';;4*(+(1'%*)()<4+14;'()#%+#%+"+(6'(+/#%(')%*+- 2$;()*4(+#1&41)%.+V!!.W+?!+(1'%*)()<4+/;#*$14+#,+!! 364#142+ILF 364+2$;()*4(+#1&41)%.+!!.+)*+G4;;S,#$%&4&L

!9

"#$%&'()#%*+#,+-#.)/+01#.1'22)%. 3412)%'()#%+#,+01#.1'2*

3G#+P4;7,$;+:B*41<'()#%*

• 422'+IL9

A%+)%,)%)(4T+,)%)(4;>+B1'%/6)%.+(144+6'*+'%+)%,)%)(4+B1'%/6L [#(4+ILC A%+)114,;4\)<4T+'%()*>224(1)/+14;'()#%+)*+G4;;S,#$%&4&+),,+)(*+(1'%*)()<4+/;#*$14+)*+ G4;;S,#$%&4&L 36$*+,)%)(4%4**+#,+'%+R-DS(144+V64%/4T+(412)%'()#%W+/'%+B4+71#<4&+B>+,)%&)%.+'+ *$)('B;4+2$;()*4(+'**).%24%(+,#1+O$41)4*L

!C

"#$%&'()#%*+#,+-#.)/+01#.1'22)%. 3412)%'()#%+#,+01#.1'2*

• 4<4;+M'77)%.*

;4<4;+2'77)%.+,#1+71#.1'2+/+?!+,$%/()#%+]+]+?+01/+!+$ ;4<4;+#,+.1#$%&+'(#2+2+?!+]2] /;'$*434+14/$114%(+GL1L(L+]+] ?! ,#1+4<41>+.1#$%&+)%*('%/4+2+^+1+#,+4+'%&+4<41>+1+ + " 1? + ]2]+_+]1] 71#.1'2+/+14/$114%(+?! ,#1+*#24+;4<4;+2'77)%.+]+]T + 4'/6+4+ + " /+)*+14/$114%(+GL1L(L+]+]

!F

"#$%&'()#%*+#,+-#.)/+01#.1'22)%. 3412)%'()#%+#,+01#.1'2*

`\'27;4+VaW

+ "#"$#%V5T+b5]6cW+^ + "#"$#%V5T+b6]7cW+^+"#"$#%V5T+7W J)(6+]+"#"$#%V8T+9W+]+?!+d;)*(*)e4f+#,+9T+(64+/;'$*4*+'14+14/$114%(L + &'$&#(Vb5]6cT+7W+^+"#"$#%V5T+7WT+&'$&#(V6T+7W + &'$&#(Vb+cT+5W+^ D4,)%4+]+&'$&#(V8T+9W+]+?!+)*&(&*+#V8W+g+)*&(&*+#V9WL 36)*+*6#G*+(6'(+(64+4%()14+71#.1'2+)*+14/$114%(L a%/)&4%(';;>T+(64+71#.1'2+';G'>*+(412)%'(4*+,#1+.1#$%&+O$41)4*L

!H

"#$%&'()#%*+#,+-#.)/+01#.1'22)%. 3412)%'()#%+#,+01#.1'2*

`\'27;4+VaaW

+ ,--Vb+cT+5T+5W+^ + ,--Vb5]6cT+7T+b5]:cW+^+,--V6T+7T+:W + %#.Vb+cT+b+cW+^ + %#.Vb5]6cT+7W+^+%#.V6T+:WT+,--V:T+b5cT+7W 36)*+71#.1'2+)*+%#(+14/$114%(L a%/)&4%(';;>T+)(+&#4*+%#(+';G'>*+(412)%'(4+,#1+.1#$%&+O$41)4*L + %#.Vb"T+!cT+4W+ "+%#.Vb!cT+:!WT+,--V:!T+b"cT+4W + "+%#.Vb3cT+:9WT+,--V:9T+b!cT+:!WT+,--V:!T+b"cT+4W + "+%#.Vb3cT+:9WT+,--V6CT+b!cT+:CWT+,--V:!T+b"cT+4W + "+LLL

!I

"#$%&'()#%*+#,+-#.)/+01#.1'22)%. 3412)%'()#%+#,+01#.1'2*

h#$%&4&+N$41)4*

'(#2+2+B#$%&4&+GL1L(L+]+] ?!+,#1+*#24+;+ + +G4+6'<4+] " % 2i]+ + & ;+,#1+';;+2i+ + " #<(:$*V2W ;4<4;+]2]+#,+B#$%&4&+'(#2+2+?!+."5j]2i]+]+2i+ + " #<(:$*V2Wk O$41>+B#$%&4&+GL1L(L+]+]+?!+';;+)(*+'(#2*+'14+B#$%&4&+GL1L(L+]+] O$41>+2!T+LLLT+2$+B#$%&4&+B>+;+?!+]2=]+ + & ;+,#1+=+X+!T+LLLT+$ ;4<4;+]>]+#,+B#$%&4&+O$41>+>+X+2!T+LLLT+2$ ?!+!"#V]2!]T+LLLT+]2$]W

!K

"#$%&'()#%*+#,+-#.)/+01#.1'22)%. 3412)%'()#%+#,+01#.1'2*

h#$%&4&%4**+-422'+,#1+@4/$114%(+01#.1'2*

• 422'+IL8
• 4(+/+B4+'+14/$114%(+VGL1L(L+]+]W+71#.1'2L+a,+>!+)*+'+O$41>+

B#$%&4&+GL1L(L+]+]+'%&+>9+'%+R-DS14*#;<4%(+#,+>!T+(64%+ >9+)*+B#$%&4&+GL1L(L+]+] ]>9]+!.+]>!] 01##,? !L A%>+)%*('%/4+>?+#,+>+)*+B#$%&4&+'%&+*'()*,)4*+]>?]+#.+]>]L 9L A%+)%*('%/4+#,+'+14/$114%(+/;'$*4+)*+14/$114%(L CL "#1+4<41>+14/$114%(+0+^+1+'%&+4<41>+B#$%&4&+2T+0T+@T 3 2T+1T+@+)*+B#$%&4&+'%&+*'()*,)4*+]2T+1T+@]+!.+]2T+0T+@]L

!8

"#$%&'()#%*+#,+-#.)/+01#.1'22)%. 3412)%'()#%+#,+01#.1'2*

")%)(4%4**+,#1+@4/$114%(+01#.1'2*

5#1#;;'1>+ILQ

• 4(+/+B4+'+14/$114%(+71#.1'2+'%&+>+'+B#$%&4&+O$41>L

364%+';;+R-DS&41)<'()#%*+#,+/+!+j>k+'14+,)%)(4L

!Q

"#$%&'()#%*+#,+-#.)/+01#.1'22)%. 3412)%'()#%+#,+01#.1'2*

l41),>)%.+3412)%'()#%

;)*(*)e4+#,+'+(412+9+V]9]W ?! ]b8]9c]+X+]9]+g+!+ ]AV9!T+LLLT+9$W]+X+U+),+A+ +b ' m]mc + )*&(Vb+cW+^ + )*&(Vb5]6cW+^+)*&(V6W D4,)%)%.+])*&(V9W]+?!+]9] *6#G*+(6'(+(6)*+71#.1'2+)*+14/$114%(T 64%/4+';G'>*+(412)%'()%.+,#1+B#$%&4&+O$41)4*L

9U

"#$%&'()#%*+#,+-#.)/+01#.1'22)%. 3412)%'()#%+#,+01#.1'2*

a27#1('%/4+#,+56#)/4+#,+-4<4;+M'77)%.

! ,--Vb+cT+5T+5W+^ + ,--Vb5]6cT+7T+b5]:cW+^+,--V6T+7T+:W + 364*4+/;'$*4*+'14+14/$114%( GL1L(L+],--V5T+6T+7W]!+?!+]5] + '%&+';*# GL1L(L++],--V5T+6T+7W]9+?!+]7]L a%+4'/6+/'*4+G4+#B(')%+&),,414%(+B#$%&4&+O$41)4*L `L.LT+,--Vb"T+!cT+>T+7W+)*+B#$%&4&+GL1L(L+]+]!+B$(+%#(+GL1L(L+]+]9 + ,--V5T+>T+b4T+*cW+)*+B#$%&4&+GL1L(L+]+]9+B$(+%#(+GL1L(L+]+]! h#(6+(64*4+O$41)4*+'14+B#$%&4&+GL1L(L + +],--V5T+6T+7W]C+?!+.=$V]5]T+]7]W

9!

"#$%&'()#%*+#,+-#.)/+01#.1'22)%. 3412)%'()#%+#,+01#.1'2*

• )2)('()#%*?+=4%41';+R-D+<*L+01#;#.+VaW

edge(a, b). edge(b, c). edge(d, e). path(X, Y) :- edge(X, Y). path(X, Y) :- edge(X, Z), path(Z, Y). arc(a, b). arc(b, c). arc(d, e). connected(X, Y) :- arc(X, Y). connected(X, Y) :- connected(X, Z), arc(Z, Y). [4)(641+71#.1'2+)*+14/$114%(L P#G4<41T+';;+-DS&41)<'()#%*+,#1+(64+,)1*(+71#.1'2+'14+,)%)(4L

99

"#$%&'()#%*+#,+-#.)/+01#.1'22)%. 3412)%'()#%+#,+01#.1'2*

• )2)('()#%*?+=4%41';+R-D+<*L+01#;#.+VaaW

+ ,--Vb+cT+5T+5W+^ + ,--Vb5]6cT+7T+b5]:cW+^+,--V6T+7T+:W + ,--/V5T+6T+7T+:W+^+,--V5T+6T+BWT+,--VBT+7T+:W + ],--V5T+6T+7W] ?!+.=$V]5]T+]7]W + ],--/V5T+6T+7T+:W] ?!+]5]+g+]:]+g+! *6#G*+(6'(+(64+71#.1'2+)*+14/$114%(L h$(+,--/Vb"cT+b!cT+b4cT+:W+)*+%#(+B#$%&4&+GL1L(L+]+]+'%&+)%&44&+6'*+'%+)%,)%)(4+&41)<'()#%L P#G4<41T+';;+-DS&41)<'()#%*+#,+/+!+j,--/Vb"cT+b!cT+b4cT+:Wk+'14+,)%)(4L

9C

"#$%&'()#%*+#,+-#.)/+01#.1'22)%. 3412)%'()#%+#,+01#.1'2*

A//47('B;4+01#.1'2*

/;'$*4+4+'//47('B;4+GL1L(L+;4<4;+2'77)%.+]+]+'%&+)%(41714('()#%+C ?! C+2#&4;+#,+4T ,#1+4<41>+.1#$%&+)%*('%/4+2+^+2T+1T+1+#,+4+'%&+4<41>+1+*$/6+(6'(+C+n+2? + ]2]+_+]1] 71#.1'2+/+'//47('B;4+VGL1L(L+]+]+'%&+CW ?! ,#1+*#24+;4<4;+2'77)%.+]+]+'%&+)%(41714('()#%+CT+4'/6+4+ + " /+)*+'//47('B;4+ + GL1L(L+]+]+'%&3C

9F

"#$%&'()#%*+#,+-#.)/+01#.1'22)%. 3412)%'()#%+#,+01#.1'2*

`\'27;4+VaW

,--Vb+cT+5T+5W+^ ,--Vb5]6cT+7T+b5]:cW+^+,--V6T+7T+:W %#.Vb+cT+b+cW+^ %#.Vb5]6cT+7W+^+%#.V6T+:WT+,--V:T+b5cT+7W + ],--V5T+6T+7W]+?! "*0V]5]T+]7]W + ]%#.V5T+6W]+?! ]5] + C+?! j,--V5T+6T+7W+]+]5]+g+]6]+X+]7]k + + ! j%#.V5T+6W+]+]5]+X+]6]k *6#G*+(6'(+(64+71#.1'2+)*+'//47('B;4L

9H

"#$%&'()#%*+#,+-#.)/+01#.1'22)%. 3412)%'()#%+#,+01#.1'2*

`\'27;4+VaaW

,--Vb+cT+5T+5W+^ ,--Vb5]6cT+7T+b5]:cW+^+,--V6T+7T+:W ,--/V5T+6T+7T+:W+^+,--V5T+6T+BWT+,--VBT+7T+:W + ],--V5T+6T+7W]+?! ]5] + ],--/V5T+6T+7T+:W]+?! ]5]+g+]6]+g+! + C+?! j,--V5T+6T+7W+]+]5]+g+]6]+X+]7]k + + ! #<(:$*V,--/V5T+6T+7T+:WW *6#G*+(6'(+(64+71#.1'2+)*+'//47('B;4L

9I

"#$%&'()#%*+#,+-#.)/+01#.1'22)%. 3412)%'()#%+#,+01#.1'2*

A//47('B);)(>+<*L+@4/$114%/4

[#(4+IL9! A+71#.1'2+)*+14/$114%(+GL1L(L+]+] ),,+)(+)*+'//47('B;4+GL1L(L+]+]+'%&+01L

9K

"#$%&'()#%*+#,+-#.)/+01#.1'22)%. 3412)%'()#%+#,+01#.1'2*

A%+`\(4%&4&+[#()#%+#,+h#$%&4&%4**+VaW

• 4(+]+]+B4+'+;4<4;+2'77)%.T+C+'%+)%(41714('()#%T+;+"+$L

O$41>+>+B#$%&4&+B>+;+GL1L(L+]+]+'%&+C ?! ,#1+4<41>+.1#$%&+)%*('%/4+2T+1T+1+#,+>+*$/6+(6'(+C+n+2T + ]1]+ + & ; O$41>+>+B#$%&4&+GL1L(L+]+]+'%&+C ?!+>+B#$%&4&+B>+*#24+;+GL1L(L+]+]+'%&+C

98

"#$%&'()#%*+#,+-#.)/+01#.1'22)%. 3412)%'()#%+#,+01#.1'2*

`\'27;4

,--Vb+cT+5T+5W+^ ,--Vb5]6cT+7T+b5]:cW+^+,--V6T+7T+:W ,--/V5T+6T+7T+:W+^+,--V5T+6T+BWT+,--VBT+7T+:W + ],--V5T+6T+7W]+?! ]5] + ],--/V5T+6T+7T+:W]+?! ]5]+g+]6]+g+! + C+?! j,--V5T+6T+7W+]+]5]+g+]6]+X+]7]k + + ! #<(:$*V,--/V5T+6T+7T+:WW 364+71#.1'2+)*+'//47('B;4+VGL1L(L+]+]+'%&+CWT '%&+,--/Vb"cT+b!cT+b4cT+:W+)*+B#$%&4&+VB>+;+X+CW+GL1L(L+]+]+'%&+CL

9Q

"#$%&'()#%*+#,+-#.)/+01#.1'22)%. 3412)%'()#%+#,+01#.1'2*

A+[#('()#%';+5#%<4%()#%

2'\?+$V$W+!+$+!+j(k+G)(6 2'\+D?+)*

U ), D+o $ ), D )*+,)%)(4+B$(+%#(+427(>+'%&+G)(6+2'\)2$2 $ ( ), D )*+)%,)%)(4

CU

"#$%&'()#%*+#,+-#.)/+01#.1'22)%. 3412)%'()#%+#,+01#.1'2*

A%+`\(4%&4&+[#()#%+#,+h#$%&4&%4**+VaaW

• 4(+>+B4+'+O$41>+/#%*)*()%.+#,+$+,+!+'(#2*L

364%+,#1+4<41>+=+X+!T+LLLT+$+'%&+4<41>+)%(41714('()#%+CT + ]>]++?!+j]2=]+?+2!T+LLLT+2$3.1#$%&+)%*('%/4+#,+> + C+n+2!T+LLLT+2=Y!k a,3>+)*+B#$%&4&+GL1L(L+*#24+]+]+'%&+CT+(64% + ]>]C3?!+!"#V2'\+]>]++T+LLLT+2'\+]>]++W

C =

) ! ) $

C!

"#$%&'()#%*+#,+-#.)/+01#.1'22)%. 3412)%'()#%+#,+01#.1'2*

`\'27;4

,--Vb+cT+5T+5W+^ ,--Vb5]6cT+7T+b5]:cW+^+,--V6T+7T+:W ,--/V5T+6T+7T+:W+^+,--V5T+6T+BWT+,--VBT+7T+:W + ],--V5T+6T+7W]+?! ]5] + ],--/V5T+6T+7T+:W]+?! ]5]+g+]6]+g+! + C+?! j,--V5T+6T+7W+]+]5]+g+]6]+X+]7]k + + ! #<(:$*V,--/V5T+6T+7T+:WW + ],--/Vb"cT+b!cT+b4cT+:W]C X+!"#VCW + ],--Vb"cT+b!cT+B!WT+,--VB!T+b4cT+:W]C X+!"#V!T+9W

C9

"#$%&'()#%*+#,+-#.)/+01#.1'22)%. 3412)%'()#%+#,+01#.1'2*

h#$%&4&%4**+-422'+,#1+A//47('B;4+01#.1'2*

• 422'+IL9C
• 4(+/+B4+'%+'//47('B;4+VGL1L(L+]+]+'%&+CW+71#.1'2L+a,+>!+)*+'+O$41>+

B#$%&4&+GL1L(L+]+]+'%&+CT+'%&+),+>9+)*+'%+-DS14*#;<4%(+#,+>!T+(64%+ >9+)*+B#$%&4&+GL1L(L+]+]+'%&+C ]>9]C+!.+]>!]C 01##,? !L A%>+)%*('%/4+>?+#,+>+)*+B#$%&4&+'%&+*'()*,)4*+]>?]C+#.+]>]CL 9L A%+)%*('%/4+#,+'%+'//47('B;4+/;'$*4+)*+'//47('B;4L CL "#1+4<41>+'//47('B;4+2+^+1+'%&+4<41>+B#$%&4&+2T+@T 3 1T+@+)*+B#$%&4&+'%&+*'()*,)4*+]1T+@]C+!.+]2T+@]CL + VR44+(64+B##p+#%+7'.4+!I!LW

CC

"#$%&'()#%*+#,+-#.)/+01#.1'22)%. 3412)%'()#%+#,+01#.1'2*

")%)(4%4**+,#1+A//47('B;4+01#.1'2*

5#1#;;'1>+IL9F

• 4(+/+B4+'%+'//47('B;4+71#.1'2+'%&+>+'+B#$%&4&+O$41>L

364%+';;+-DS&41)<'()#%*+#,+/+!+j>k+'14+,)%)(4L

CF

"#$%&'()#%*+#,+-#.)/+01#.1'22)%. 3412)%'()#%+#,+01#.1'2*

A77;)/'()#%

,--Vb+cT+5T+5W+^ ,--Vb5]6cT+7T+b5]:cW+^+,--V6T+7T+:W

• #%"Vb+cT+b+cW+^
• #%"V5T+b6]7cW+^+,--V:T+b6]BcT+5WT+,--V:T+BT+,WT+-#%"V,T+7W

+ ],--V5T+6T+7W]+?! "*0V]5]T+]7]W + ]-#%"V5T+6W]+?! ]5]+g+! + C+?! j,--V5T+6T+7W+]+]5]+g+]6]+X+]7]k + + ! #<(:$*V-#%"V5T+6WW 36)*+*6#G*+(6'(+(64+71#.1'2+)*+'//47('B;4L

CH

"#$%&'()#%*+#,+-#.)/+01#.1'22)%. 3412)%'()#%+#,+01#.1'2*

:Bq4/()<4*

• 4<4;+2'77)%.*

=4%41';;>+(412)%'()%.+71#.1'2*?+@4/$114%(+71#.1'2*

• 4,(+(412)%'()%.+71#.1'2*?+A//47('B;4+71#.1'2*