Intelligenza artificiale .. un assaggio
48
21
regola(Uno,Due,Tre):Uno > 10,
Uno < 100,
Due > 10,
Due < 100,
calcola(Uno,Due,Tre).
calcola(A,B,C):B = 0,
C is A.
calcola(A,B,C):D is A mod B,
calcola(B,D,C).
21
48
regola(Uno,Due,Tre):Uno > 10,
Uno < 100,
Due > 10,
Due < 100,
calcola(Uno,Due,Tre).
calcola(A,B,C):B = 0,
C is A.
fallisce
calcola(A,B,C):D is A mod B,
calcola(B,D,C).
48
21
regola(Uno,Due,Tre):regola(Uno,Due,Tre):Uno > 10,
Uno
><
10,100,
Uno
Uno
<
100,
Due >
10,
Due
><
10,100,
Due
Due
< 100,
calcola(Uno,Due,Tre).
calcola(Uno,Due,Tre).
regola(Uno,Due,Tre):Uno > 10,
Uno < 100,
Due > 10,
Due < 100,
calcola(Uno,Due,Tre).
calcola(A,B,C):B = 0,
C is A.
calcola(A,B,C):D is A mod B,
calcola(B,D,C).
21
48
regola(Uno,Due,Tre):Uno > 10,
Uno < 100,
Due > 10,
Due < 100,
calcola(Uno,Due,Tre).
6
calcola(A,B,C):calcola(A,B,C):- B = 0,
B=
0, A.
C is
C is A.
calcola(A,B,C):B = 0,
C is A.
21
calcola(A,B,C):calcola(A,B,C):- D is A mod B,
D calcola(B,D,C).
is A mod B,
calcola(B,D,C).
calcola(A,B,C):D is A mod B,
calcola(B,D,C).
fallisce
48
21
regola(Uno,Due,Tre):Uno > 10,
Uno < 100,
Due > 10,
Due < 100,
calcola(Uno,Due,Tre).
calcola(A,B,C):B = 0,
C is A.
regola(Uno,Due,Tre):regola(Uno,Due,Tre):Uno > 10,
Uno
><
10,100,
Uno
Uno
<
100,
Due >
10,
Due
><
10,100,
Due
Due
< 100,
calcola(Uno,Due,Tre).
calcola(Uno,Due,Tre).
calcola(A,B,C):calcola(A,B,C):- B = 0,
B=
0, A.
C is
C is A.
48
calcola(A,B,C):D is A mod B,
calcola(B,D,C).
21
calcola(A,B,C):calcola(A,B,C):- D is A mod B,
D calcola(B,D,C).
is A mod B,
calcola(B,D,C).
regola(Uno,Due,Tre):regola(Uno,Due,Tre):Uno > 10,
Uno
><
10,100,
Uno
Uno
<>
100,
Due
10,
Due
>
10,
Due < 100,
Due
< 100,
calcola(Uno,Due,Tre).
calcola(Uno,Due,Tre).
6
calcola(A,B,C):calcola(A,B,C):- B = 0,
B=
0, A.
C is
C is A.
21
6
calcola(A,B,C):calcola(A,B,C):- D is A mod B,
D calcola(B,D,C).
is A mod B,
21
calcola(B,D,C).
regola(Uno,Due,Tre):Uno > 10,
Uno < 100,
Due > 10,
3 Due < 100,
calcola(Uno,Due,Tre).
6
calcola(A,B,C):B = 0,
C is A.
fallisce
calcola(A,B,C):D is A mod B,
calcola(B,D,C).
48
21
regola(Uno,Due,Tre):Uno > 10,
Uno < 100,
Due > 10,
Due < 100,
calcola(Uno,Due,Tre).
calcola(A,B,C):B = 0,
C is A.
regola(Uno,Due,Tre):regola(Uno,Due,Tre):Uno > 10,
Uno
><
10,100,
Uno
Uno
<
100,
Due >
10,
Due
><
10,100,
Due
Due
< 100,
calcola(Uno,Due,Tre).
calcola(Uno,Due,Tre).
6
calcola(A,B,C):calcola(A,B,C):- B = 0,
B=
0, A.
C is
C is A.
48
calcola(A,B,C):D is A mod B,
calcola(B,D,C).
regola(Uno,Due,Tre):regola(Uno,Due,Tre):Uno > 10,
Uno
><
10,100,
Uno
Uno
<>
100,
Due
10,
Due
>
10,
Due < 100,
Due
< 100,
calcola(Uno,Due,Tre).
calcola(Uno,Due,Tre).
calcola(A,B,C):calcola(A,B,C):- B = 0,
B=
0, A.
C is
C is A.
21
6
21
calcola(A,B,C):calcola(A,B,C):- D is A mod B,
D calcola(B,D,C).
is A mod B,
calcola(B,D,C).
calcola(A,B,C):calcola(A,B,C):- D is A mod B,
D calcola(B,D,C).
is A mod B,
21
calcola(B,D,C).
regola(Uno,Due,Tre):Uno > 10,
Uno < 100,
Due > 10,
Due < 100,
calcola(Uno,Due,Tre).
3 0
calcola(A,B,C):B = 0,
C is A.
calcola(A,B,C):D is A mod B,
calcola(B,D,C).
6
regola(Uno,Due,Tre):regola(Uno,Due,Tre):Uno > 10,
Uno
Uno> <10,
100,
Uno
Due< >100,
10,
Due
>
10,
Due < 100,
Due
< 100,
calcola(Uno,Due,Tre).
calcola(Uno,Due,Tre).
calcola(A,B,C):calcola(A,B,C):-B = 0,
0,A.
3 BC C=is isA.
calcola(A,B,C):calcola(A,B,C):-D is A mod B,
D calcola(B,D,C).
is A mod B,
calcola(B,D,C).
48
21
3
regola(Uno,Due,Tre):regola(Uno,Due,Tre):Uno > 10,
Uno
><
10,100,
Uno
Uno
<
100,
Due >
10,
Due
><
10,100,
Due
Due
< 100,
calcola(Uno,Due,Tre).
calcola(Uno,Due,Tre).
regola(Uno,Due,Tre):Uno > 10,
Uno < 100,
Due > 10,
Due < 100,
calcola(Uno,Due,Tre).
3
calcola(A,B,C):B = 0,
C is A.
6
calcola(A,B,C):calcola(A,B,C):- B = 0,
B=
0, A.
C is
C is A.
48
calcola(A,B,C):D is A mod B,
calcola(B,D,C).
regola(Uno,Due,Tre):regola(Uno,Due,Tre):Uno > 10,
Uno
><
10,100,
Uno
Uno
<>
100,
Due
10,
Due
>
10,
Due < 100,
Due
< 100,
calcola(Uno,Due,Tre).
calcola(Uno,Due,Tre).
calcola(A,B,C):calcola(A,B,C):- B = 0,
B=
0, A.
C is
C is A.
21
6
21
calcola(A,B,C):3
calcola(A,B,C):- D is A mod B,
D calcola(B,D,C).
is A mod B,
calcola(B,D,C).
calcola(A,B,C):calcola(A,B,C):- D is A mod B,
D calcola(B,D,C).
is A mod B,
21
calcola(B,D,C).
regola(Uno,Due,Tre):Uno > 10,
Uno < 100,
Due > 10,
Due < 100,
calcola(Uno,Due,Tre).
3 0
calcola(A,B,C):B = 0,
C is A.
calcola(A,B,C):D is A mod B,
calcola(B,D,C).
6
3
regola(Uno,Due,Tre):regola(Uno,Due,Tre):Uno > 10,
Uno
Uno> <10,
100,
Uno
Due< >100,
10,
Due
>
10,
Due < 100,
Due
< 100,
calcola(Uno,Due,Tre).
calcola(Uno,Due,Tre).
calcola(A,B,C):calcola(A,B,C):-B = 0,
0,A.
3 BC C=is isA.
calcola(A,B,C):calcola(A,B,C):-D is A mod B,
D calcola(B,D,C).
is A mod B,
3
calcola(B,D,C).
Mostra il tracciato dell’esecuzione
Premi invio per procedere
Mostra il tracciato dell’esecuzione
Procedere alla pressione di invio