 |
 Torre |
| Esame Di Oggi |
15-06-2009 19:07 |
|
 |
Torre |
.amico.
Registered: Apr 2009
Posts: 30 (0.00 al dì)
Location:
Corso:
Anno:
Time Online: 5:16:47 [...]
Status: Offline
Edit | Report | IP: Logged |
Esame Di Oggi
Raga ma come si faceva il secondo esercizio di oggi?
Molti han detto che si congelava tutto ma i cut si attraversavano solo alla fine e quando trovo un fallimento non vado avanti, mi fermo e esco con fail...
|
|
15-06-2009 19:07 |
|
|
| |
|
| garfa84 |
| lasciamo stare, sono stato 1 ora un quarto per ved ... |
15-06-2009 20:05 |
|
|
garfa84 |
.precettore.
Registered: Jan 2006
Posts: 92 (0.01 al dì)
Location:
Corso:
Anno:
Time Online: 3 Days, 3:04:58 [...]
Status: Offline
Edit | Report | IP: Logged |
lasciamo stare, sono stato 1 ora un quarto per vedere come farlo e alla fine l'ho sbagliato, alla fine la prof ha fatto la correzione e si faceva che partiva il primo ramo si istanzia X/dario Y/competitivo nel nodo dopo _ va sostituito con A e nell'altro con B per far intendere che _ vuol dire qualsiasi variabile e così via...alla fine si trovano 2 soluzioni, invece io avevo trovato che tutti e 3 i rami fallivano perchè avevo inteso _ istanziandola allo stesso valore!!!
Si però non si può su due esercizi che se ne sbaglio 1 sei quasi fregato...allora fammene fare 4 o 5 o 6 in un' ora e mezza
|
|
15-06-2009 20:05 |
|
|
| |
|
| Torre |
| Si ma lei non le ha mai spiegate in classe queste ... |
16-06-2009 09:25 |
|
|
Torre |
.amico.
Registered: Apr 2009
Posts: 30 (0.00 al dì)
Location:
Corso:
Anno:
Time Online: 5:16:47 [...]
Status: Offline
Edit | Report | IP: Logged |
Si ma lei non le ha mai spiegate in classe queste cose cmq...
Va beh sarà x la prox volta, sperando di non trovare altre novità dell'ultimo secondo quando leggo il testo...
|
|
16-06-2009 09:25 |
|
|
| |
|
| pragers |
| [QUOTE][i]Originally posted by garfa84 [/i]
... |
16-06-2009 13:07 |
|
|
pragers |
.arcimaestro.
Registered: Dec 2003
Posts: 292 (0.04 al dì)
Location: Milano/Varallo Sesia
Corso: informatica + TICOM
Anno: 2° TICOM
Time Online: 2 Days, 14:10:05: [...]
Status: Offline
Edit | Report | IP: Logged |
Originally posted by garfa84
lasciamo stare, sono stato 1 ora un quarto per vedere come farlo e alla fine l'ho sbagliato, alla fine la prof ha fatto la correzione e si faceva che partiva il primo ramo si istanzia X/dario Y/competitivo nel nodo dopo _ va sostituito con A e nell'altro con B per far intendere che _ vuol dire qualsiasi variabile e così via...alla fine si trovano 2 soluzioni, invece io avevo trovato che tutti e 3 i rami fallivano perchè avevo inteso _ istanziandola allo stesso valore!!!
Si però non si può su due esercizi che se ne sbaglio 1 sei quasi fregato...allora fammene fare 4 o 5 o 6 in un' ora e mezza
ma sei sicuro che vengono due soluzioni?
A me ne è venuta una sola.Ho scritto il programma su prolog e con il quesito dell'esercizio la soluzione data dall'interprete è una sola e precisamente:
X = competitivo
Z = campione
L'interprete non dovrebbe sbagliare.
|
|
16-06-2009 13:07 |
|
|
| |
|
| garfa84 |
| se non ricordo male erano 2 soluzioni , non ne son ... |
16-06-2009 14:07 |
|
|
garfa84 |
.precettore.
Registered: Jan 2006
Posts: 92 (0.01 al dì)
Location:
Corso:
Anno:
Time Online: 3 Days, 3:04:58 [...]
Status: Offline
Edit | Report | IP: Logged |
se non ricordo male erano 2 soluzioni , non ne sono sicuro perchè non l'ho scritto!!!
ma il programma è questo:
batte(dario,luigi).
batte(franca,dario).
batte(paolo,luigi).
classe(X,competitivo) :- batte(X ,_),batte(_,X),!.
classe(X,campione) :- batte(X ,_),not batte(_,X),!.
classe(X,sportivo) :- batte(_,X ),not batte(X,_).
e il quesito
?-classe(dario,Y),classe(franca,Z).
perchè a me l'interprete mi dice che fallisce....strano!!
ma _ si rappresenta con un underscore normale!?!
|
|
16-06-2009 14:07 |
|
|
| |
|
| pragers |
| [QUOTE][i]Originally posted by garfa84 [/i]
... |
16-06-2009 14:18 |
|
|
pragers |
.arcimaestro.
Registered: Dec 2003
Posts: 292 (0.04 al dì)
Location: Milano/Varallo Sesia
Corso: informatica + TICOM
Anno: 2° TICOM
Time Online: 2 Days, 14:10:05: [...]
Status: Offline
Edit | Report | IP: Logged |
Originally posted by garfa84
se non ricordo male erano 2 soluzioni , non ne sono sicuro perchè non l'ho scritto!!!
ma il programma è questo:
batte(dario,luigi).
batte(franca,dario).
batte(paolo,luigi).
classe(X,competitivo) :- batte(X ,_),batte(_,X),!.
classe(X,campione) :- batte(X ,_),not batte(_,X),!.
classe(X,sportivo) :- batte(_,X ),not batte(X,_).
e il quesito
?-classe(dario,Y),classe(franca,Z).
perchè a me l'interprete mi dice che fallisce....strano!!
ma _ si rappresenta con un underscore normale!?!
si il testo è corretto.L'unica cosa è che il not deve avere le parentesi se no da errore in compilazione cioè not(batte(_,X))
guarda io l ho appena rifatto e l'output dell'interprete è:
?- classe(dario,Y),classe(franca,Z).
Y = competitivo,
Z = campione.
Fatto proprio copia/incolla.
|
|
16-06-2009 14:18 |
|
|
| |
|
| Johnny88 |
| L'interpreta ha pienamente ragione!
... |
16-06-2009 14:44 |
|
|
Johnny88 |
I Am Become Death
Registered: Feb 2008
Posts: 54 (0.01 al dì)
Location:
Corso: Informatica
Anno: 2
Time Online: 14:44:07: [...]
Status: Offline
Edit | Report | IP: Logged |
L'interpreta ha pienamente ragione!
ecco cosa fa con il trace :
[debug] ?- trace,classe(dario,Y),classe(franca,Z).
Call: (8) [user] classe(dario, _G313) ? creep
Call: (9) [user] batte(dario, _L230) ? creep
Exit: (9) [user] batte(dario, luigi) ? creep
Call: (9) [user] batte(_L229, dario) ? creep
Exit: (9) [user] batte(franca, dario) ? creep
Exit: (8) [user] classe(dario, competitivo) ? creep
Call: (8) [user] classe(franca, _G316) ? creep
Call: (9) [user] batte(franca, _L230) ? creep
Exit: (9) [user] batte(franca, dario) ? creep
Call: (9) [user] batte(_L229, franca) ? creep
Fail: (9) [user] batte(_L229, franca) ? creep
Redo: (8) [user] classe(franca, _G316) ? creep
Call: (9) [user] batte(franca, _L230) ? creep
Exit: (9) [user] batte(franca, dario) ? creep
^ Call: (9) [user] not(batte(_G422, franca)) ? creep
Call: (10) [user] batte(_G422, franca) ? creep
Fail: (10) [user] batte(_G422, franca) ? creep
^ Exit: (9) [user] not(batte(_G422, franca)) ? creep
Exit: (8) [user] classe(franca, campione) ? creep
Y = competitivo,
Z = campione.
la variabile _ la si può unificare ogni volta con qualcosa di diverso... insomma bisogna provarle tutte...
Meno male che mi sono ritirato 
|
|
16-06-2009 14:44 |
|
|
| |
|
| pragers |
| [QUOTE][i]Originally posted by Johnny88 [/i]
... |
16-06-2009 15:11 |
|
|
pragers |
.arcimaestro.
Registered: Dec 2003
Posts: 292 (0.04 al dì)
Location: Milano/Varallo Sesia
Corso: informatica + TICOM
Anno: 2° TICOM
Time Online: 2 Days, 14:10:05: [...]
Status: Offline
Edit | Report | IP: Logged |
Originally posted by Johnny88
L'interpreta ha pienamente ragione!
ecco cosa fa con il trace :
[debug] ?- trace,classe(dario,Y),classe(franca,Z).
Call: (8) [user] classe(dario, _G313) ? creep
Call: (9) [user] batte(dario, _L230) ? creep
Exit: (9) [user] batte(dario, luigi) ? creep
Call: (9) [user] batte(_L229, dario) ? creep
Exit: (9) [user] batte(franca, dario) ? creep
Exit: (8) [user] classe(dario, competitivo) ? creep
Call: (8) [user] classe(franca, _G316) ? creep
Call: (9) [user] batte(franca, _L230) ? creep
Exit: (9) [user] batte(franca, dario) ? creep
Call: (9) [user] batte(_L229, franca) ? creep
Fail: (9) [user] batte(_L229, franca) ? creep
Redo: (8) [user] classe(franca, _G316) ? creep
Call: (9) [user] batte(franca, _L230) ? creep
Exit: (9) [user] batte(franca, dario) ? creep
^ Call: (9) [user] not(batte(_G422, franca)) ? creep
Call: (10) [user] batte(_G422, franca) ? creep
Fail: (10) [user] batte(_G422, franca) ? creep
^ Exit: (9) [user] not(batte(_G422, franca)) ? creep
Exit: (8) [user] classe(franca, campione) ? creep
Y = competitivo,
Z = campione.
la variabile _ la si può unificare ogni volta con qualcosa di diverso... insomma bisogna provarle tutte...
Meno male che mi sono ritirato
Bhe in realtà non bisogna provarle proprio tutte.Es: batte(dario,_) è vera non appena _ è istanziato con qualcosa che rende vera la clausola.Basta che ne trovi uno poi non devi continuare con gli altri,difatti nel tuo output quando _ è istanziato con luigi, divante batte(dario,luigi) e la clausola viene eliminata senza provare gli altri casi,quindi in realtà l'istanziazione da fare è solo una.
|
|
16-06-2009 15:11 |
|
|
| |
|
| Johnny88 |
| Si si in questo caso... invece il primo? perchè a ... |
16-06-2009 15:47 |
|
|
Johnny88 |
I Am Become Death
Registered: Feb 2008
Posts: 54 (0.01 al dì)
Location:
Corso: Informatica
Anno: 2
Time Online: 14:44:07: [...]
Status: Offline
Edit | Report | IP: Logged |
Si si in questo caso... invece il primo? perchè a me l'interpete mi da come output solo N=1 e non anche N=3.... sembra che fa solo un ramo...
|
|
16-06-2009 15:47 |
|
|
| |
|
| pragers |
| [QUOTE][i]Originally posted by Johnny88 [/i]
... |
16-06-2009 16:35 |
|
|
pragers |
.arcimaestro.
Registered: Dec 2003
Posts: 292 (0.04 al dì)
Location: Milano/Varallo Sesia
Corso: informatica + TICOM
Anno: 2° TICOM
Time Online: 2 Days, 14:10:05: [...]
Status: Offline
Edit | Report | IP: Logged |
Originally posted by Johnny88
Si si in questo caso... invece il primo? perchè a me l'interpete mi da come output solo N=1 e non anche N=3.... sembra che fa solo un ramo...
A me da anche N=3.Attento che prolog ti da una soluzione,se vuoi sapere anche le successive devi premere ";" quando ti da la prima soluzione,se schiacci invio altrimenti fa vedere solo la prima.
|
|
16-06-2009 16:35 |
|
|
| |
|
| All times are GMT. The time now is 05:24. |
|
|
 |
|
 |
|
|
| |
Forum Rules:
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts
|
HTML code is OFF
vB code is ON
Smilies are ON
[IMG] code is ON
|
|
|
|
|
|
Torre
