7/25/2019 Slides Curso Prolog

1/157

ECLiP Se

http://lastpage/http://prevpage/http://close/http://goback/http://prevpage/http://lastpage/

7/25/2019 Slides Curso Prolog

2/157

http://lastpage/http://prevpage/http://close/http://goback/http://prevpage/http://lastpage/

7/25/2019 Slides Curso Prolog

3/157

ECLiP Se

ECLi

P Se

ECLiP Se

ECLiP Se

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

4/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

5/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

6/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

7/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

8/157

ECLiP Se

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

9/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

10/157

ECLiP Se

http://lastpage/http://www.eclipse-clp.org/Distribution/http://87.230.22.228/http://87.230.22.228/http://www.eclipse-clp.org/http://www.swi-prolog.org/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

11/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

12/157

ECLiP Se

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

13/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

14/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

15/157

7/25/2019 Slides Curso Prolog

16/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

17/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

18/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

19/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

20/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

21/157

........

? p(X).

p(a) p(b) p(c) ....

p(b).

p(c).

........

? p(X). X=a; ......

p(a).

X=a X=b X=c

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

22/157

r(a).

r(b).

r(c)

s(1).

s(2).

t(d).

t(e).

p(X,Y,Z)

r(X)

s(Y)

t(Z)

a b c

12

d e

? p(X,Y,Z).

X=a

Y=1

Z=d

p(X,Y,Z) : r(X), s(Y), t(Z).

1 2 3 4

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

23/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

24/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

25/157

ECLiP Se

ECLi

P Se

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

26/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

27/157

ECLiP Se

ECLiP Se

http://lastpage/http://prevpage/http://nextpage/http://nextpage/http://nextpage/http://nextpage/http://close/http://goback/http://nextpage/http://prevpage/http://lastpage/

7/25/2019 Slides Curso Prolog

28/157

ECLiP Se

ECLiP Se

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

29/157

http://lastpage/http://close/http://lastpage/http://nextpage/http://nextpage/

7/25/2019 Slides Curso Prolog

30/157

http://lastpage/http://prevpage/http://nextpage/http://nextpage/http://nextpage/http://nextpage/http://nextpage/http://nextpage/http://nextpage/http://nextpage/http://nextpage/http://nextpage/http://nextpage/http://nextpage/http://nextpage/http://nextpage/http://nextpage/http://nextpage/http://nextpage/http://nextpage/http://close/http://goback/http://nextpage/http://prevpage/http://lastpage/

7/25/2019 Slides Curso Prolog

31/157

1a.

http://lastpage/http://prevpage/http://nextpage/http://nextpage/http://nextpage/http://nextpage/http://close/http://goback/http://nextpage/http://prevpage/http://lastpage/

7/25/2019 Slides Curso Prolog

32/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

33/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

34/157

Base deConhecimenbto

Prologuiana

(tipo console)

Conhecimento

Embutido(ULA de predicados)

Inferencial

Trabalho de

Maquina

(programa usuario)

(raciocinio)

Memoria

Interface com Usurio

Maquina

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

35/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

36/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

37/157

\

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

38/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

39/157

ECLiP Se

ECLiP Se

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

40/157

ECLiP Se

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

41/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

42/157

http://lastpage/http://close/http://lastpage/http://nextpage/

7/25/2019 Slides Curso Prolog

43/157

http://lastpage/http://prevpage/http://nextpage/http://nextpage/http://nextpage/http://close/http://goback/http://nextpage/http://prevpage/http://lastpage/http://nextpage/

7/25/2019 Slides Curso Prolog

44/157

\==

\ ==

\

http://lastpage/http://prevpage/http://nextpage/http://nextpage/http://nextpage/http://close/http://goback/http://nextpage/http://prevpage/http://lastpage/

7/25/2019 Slides Curso Prolog

45/157

\==

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

46/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

47/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

48/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

49/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

50/157

ECLiP Se

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

51/157

< >

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

52/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

53/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

54/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

55/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

56/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

57/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

58/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

59/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

60/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

61/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

62/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

63/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

64/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

65/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

66/157

http://lastpage/http://close/http://lastpage/http://grack.com/downloads/school/enel553/report/prolog.htmlhttp://grack.com/downloads/school/enel553/report/prolog.html

7/25/2019 Slides Curso Prolog

67/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

68/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

69/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

70/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

71/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

72/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

73/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

74/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

75/157

S(n) = 1 + 2 + 3 + 4 +.....+ (n1) +n

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

76/157

S(n) =

1 n= 1S(n1) +n n 2

S(n) =1 + 2 + 3 +.....+ (n1) +n

S(n1)

n n

n

(n 1)

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

77/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

78/157

< >

< >

< >

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

79/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

80/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

81/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

82/157

xy((pai(x, y)ancestral(x, y)) xyz((pai(x, z)ancestral(z, y)ancestral(x, y))

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

83/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

84/157

http://lastpage/http://close/http://lastpage/http://nextpage/

7/25/2019 Slides Curso Prolog

85/157

X 3

http://lastpage/http://prevpage/http://nextpage/http://nextpage/http://nextpage/http://nextpage/http://nextpage/http://nextpage/http://nextpage/http://nextpage/http://nextpage/http://nextpage/http://nextpage/http://nextpage/http://nextpage/http://nextpage/http://nextpage/http://nextpage/http://nextpage/http://nextpage/http://nextpage/http://nextpage/http://nextpage/http://nextpage/http://nextpage/http://nextpage/http://nextpage/http://nextpage/http://nextpage/http://nextpage/http://nextpage/http://close/http://goback/http://nextpage/http://prevpage/http://lastpage/http://nextpage/http://nextpage/http://nextpage/http://nextpage/

7/25/2019 Slides Curso Prolog

86/157

X

7/25/2019 Slides Curso Prolog

87/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

88/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

89/157

F at(n) =

1 n= 0F at(n 1) n n 1

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

90/157

( )

F at(n1)n n 1

F at(n) =123.....(n1)

n

F at(n1)

n n

n (n1)

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

91/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

92/157

a

f

g

c d

e

b

5

15

55

10

25 20

75

5

10

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

93/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

94/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

95/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

96/157

{V, F}

Carro

#nome Estilo

Esporte Passeio Off-road

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

97/157

Motor

Esporte Passeio Off road

#portas #portasOpcionais

(litens interno)

#comb Outros#lista

#lista

#lista

#lista (itens externo)

#turbo

(opcionais)

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

98/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

99/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

100/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

101/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

102/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

103/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

104/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

105/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

106/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

107/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

108/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

109/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

110/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

111/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

112/157

http://lastpage/http://close/http://lastpage/http://nextpage/http://nextpage/http://nextpage/http://nextpage/http://nextpage/

7/25/2019 Slides Curso Prolog

113/157

http://lastpage/http://prevpage/http://nextpage/http://nextpage/http://nextpage/http://nextpage/http://nextpage/http://nextpage/http://close/http://goback/http://nextpage/http://prevpage/http://lastpage/

7/25/2019 Slides Curso Prolog

114/157

=

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

115/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

116/157

|

|

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

117/157

| |

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

118/157

http://lastpage/http://close/http://lastpage/http://nextpage/http://nextpage/http://nextpage/http://nextpage/http://nextpage/

7/25/2019 Slides Curso Prolog

119/157

http://lastpage/http://prevpage/http://nextpage/http://nextpage/http://nextpage/http://nextpage/http://nextpage/http://nextpage/http://nextpage/http://nextpage/http://nextpage/http://nextpage/http://nextpage/http://nextpage/http://close/http://goback/http://nextpage/http://prevpage/http://lastpage/

7/25/2019 Slides Curso Prolog

120/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

121/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

122/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

123/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

124/157

n(n+ 1)/2 n

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

125/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

126/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

127/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

128/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

129/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

130/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

131/157

http://lastpage/http://close/http://lastpage/http://nextpage/http://nextpage/http://nextpage/http://nextpage/http://nextpage/http://nextpage/http://nextpage/http://nextpage/http://nextpage/http://nextpage/http://nextpage/

7/25/2019 Slides Curso Prolog

132/157

http://lastpage/http://prevpage/http://nextpage/http://nextpage/http://nextpage/http://nextpage/http://nextpage/http://close/http://goback/http://nextpage/http://prevpage/http://lastpage/

7/25/2019 Slides Curso Prolog

133/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

134/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

135/157

http://lastpage/http://www.csupomona.edu/~jrfisher/www/prolog_tutorial/http://www.csupomona.edu/~jrfisher/www/prolog_tutorial/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

136/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

137/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

138/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

139/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

140/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

141/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

142/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

143/157

ECLiP Se

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

144/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

145/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

146/157

7/25/2019 Slides Curso Prolog

147/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

148/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

149/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

150/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

151/157

http://lastpage/http://close/http://lastpage/

7/25/2019 Slides Curso Prolog

152/157

>

7/25/2019 Slides Curso Prolog

153/157

http://lastpage/http://close/http://lastpage/http://www.cee.hw.ac.uk/~alison/ai3notes/http://www.sju.edu/~jhodgson/ugai/http://www.cbl.leeds.ac.uk/~tamsin/Prologtutorial/

7/25/2019 Slides Curso Prolog

154/157

http://lastpage/http://www.dobrev.com/http://www.ida.liu.se/~ulfni/lpp/http://www.arity.com/http://www.amzi.com/http://www.swi-prolog.org/http://dobrev.com/download.htmlhttp://www.cee.hw.ac.uk/~alison/ai3notes/http://close/http://lastpage/http://www.mars-attacks.org/~boklm/prolog/http://www.cse.unsw.edu.au/~billw/cs9414/notes/prolog/intro.htmlhttp://www.cse.unsw.edu.au/~billw/cs9414/notes/prolog/intro.html

7/25/2019 Slides Curso Prolog

155/157

http://lastpage/http://prevpage/http://nextpage/http://nextpage/http://nextpage/http://close/http://goback/http://nextpage/http://prevpage/http://lastpage/

7/25/2019 Slides Curso Prolog

156/157

http://lastpage/http://close/http://lastpage/http://localhost/var/www/apps/conversion/tmp/scratch_3/claudio@joinville.udesc.br

7/25/2019 Slides Curso Prolog

157/157

http://lastpage/http://close/http://lastpage/