che la pazienza sia impegnata non comporta nulla nella correzione dei compiti .... anche, e soprattutto perchè non ha alcuna idea su come farlo!!!!!
i compiti li corregge stellato......è l'unico competente in materia

La prossima settimana?!? :shock:

Infatti ho sentito qualcuno che mi ha detto che questa settimana la Pazienza era occupata in una specie di "forum"... però tenerci così sulle spine è cattiveria pura!

io ho mandato una mail alla Pazienza che mi ha risposto che usciranno la prossima settimana
:!:

Alla faccia!!

Ma quanti eravamo?!

io ho mandato una mail alla Pazienza che mi ha risposto che usciranno la prossima settimana
:!:

Bella domanda!

a proposito ma questi risultati quando escono?!?!?!

non ha messo ancora i risultati veramente!

Sul sito ancora non ha messo il giorno per la verbalizzazione...si sa qualcosa?!.

Cya.

Sì infatti il tempo era pochissimo....ho finito l'ultimo es. giusto in tempo.

Il mio esercizio di logica chiedeva di dimostrare la validità di una certa conseguenza logica, diciamo A cons.log B (non ricordo l'espressione esatta).

Allora ho dimostrato attraverso l'algoritmo di risoluzione che il set di formule formato da A e not B è inconsistente. E' venuto...per fortuna

Come avete fatto l'esercizio di logica? Io ho dimostrato l'inconsistenza del set di formule composto dall'antecedente e dal conseguente negato.

Rizzi troppo poco tempo, il prolog in entrambe le volte mi s'è divorato minuti su minuti, e tu guarda, stamo ancora a discutere di ste liste sottoliste, sottosequenze.

Per la logica era facile, non mi chiedeva di dimostrare l'inconsistenza, ma solo il fatto che una certa implicazione era equivalente a A---> not B.
Si applicava il principio di riduzione ricordandosi che A-->B è equivalente a not A V B

Comunque c'è da dire che Stellato se ne inventa una nuova ogni volta...non so se avete visto gli esami di l'anno scorso, bene, la difficoltà degli esercizi prolog di quest'anno mi sembra più elevata...

Erano richieste cose abbastanza banali del tipo palindroma (esiste il predicato reverse già implementato), no_common_elements (che si riduce a un not(member) scorrendo una lista), lista_doppia ecc...

Probabilmente ciò è dovuto al fatto che non abbiamo l'esercizio di creazione di una ontologia, che ritengo comunque abbastanza ostica come cosa.

Come avete fatto l'esercizio di logica? Io ho dimostrato l'inconsistenza del set di formule composto dall'antecedente e dal conseguente negato.

Secondo me è sbagliato, ci ho riflettutto minuti su minuti

Una sottosequenza non necessita che gli elementi siano uno dopo l'altro, mentre una sottolista sì. Esempio:

[a, b, c, d, e]

[a, c, d] è una sottosequenza ma non una sottolista

[a, b, c] è sottolista e anche sottosequenza.

Anche io ho scritto il codice di rizzi! Se la sottolista deve essere sequenziale allora è una sottosequenza! Vai col subsequence (di rizzi) allora mi sono detto anche perchè non sapendo come farlo ho pensato...meglio di lasciarlo in bianco...

credo dovrebbe andar bene il codice del subsequence.

, [H|T2]) :- subsequence(T1, T2).
subsequence(L1, [_|T2]) :- subsequence(L1, T2).
[/code]

Magari dico una stronzataa, ma non è identico al "sublist" ke ci ha kiesto oggi se non per il fatto che una sottolista deve essere necessariamente sequenziale?! Nonostante questa piccola differenza non sono proprio riuscito a trovare la soluzione, cazzzo

Ciao!!

Qualcuno mi può dire l'aula dove dobbiamo fare il secondo apello??

Non posso trovarla sull sito!!

Grazie mile, in bocca al lupo

Le aule sono 3 - 4 nuovi edifici alle ore 9.00.

In bocca al lupo a tutti.

Ciao!!

Qualcuno mi può dire l'aula dove dobbiamo fare il secondo apello??

Non posso trovarla sull sito!!

Grazie mile, in bocca al lupo

Correzione..il programma funziona benissimo..avevo sbagliato io nel copiarlo..chiedo scusa..anzi i miei complimenti..e grazie per avermi risolto tutti i problemi.. ops:

Ma l'hai provato?

Guarda che funziona, anche con gli esempi da te posti....

Rizzi ho esaminato il codice di subsequence da te proposto..credo che sia sbagliato. Il tuo è un programma che verifica se una lista è presente nell'altra lista praticamente. Il problema dell'esercizio d'esame era che se hai 2 liste (nell'esempio la settimana):

1 [lunedì,martedì],[lunedì,martedì,mercoledì,giovedì,venerdì,sabato,dom].
questo deve dare yes, così come:

2 [lunedì,martedì],[lunedì,mercoledì,giovedì,martedì,venerdì,sabato,dom].

se invece si ha:
3 [martedì,lunedì],[lunedì,martedì,mercoledì,giovedì,venerdì,sabato,dom].
deve dare no!!!

questo diceva nelle specifiche.

La mia idea è stata di verificare se la testa della lista(mart nell'esempio 3) è presente nell'altra lista; una volta verificato questo bisogna confrontare il secondo elemento (lunedì) con la lista che va da dopo martedì..cioè da mercoledì in poi..e non con tutta la lista!! spero di essere stato chiaro..
Se qualcuno ha capito come risolverlo mi ilumini per favore!!

:roll: