.dsy:it. - Esercizio ProLog - compitino 17 giugno

.dsy:it.
//www.dsy.it

Esercizio ProLog - compitino 17 giugno

Posted by Paolo74GRS on 28-06-2010 09:42

Ciao a tutti.. posto questo messaggio per chiedere a qualcuno di voi la risoluzione del primo esercizio del compitino di ProLog dello scorso 17 giugno... ho provato diverse volte a farlo e rifarlo ma.... gli ultimi passaggi, dove le conc dovrebbero compormi la lista L2 inversa rispetto ad L1 mi fanno perdere in un labirinto!!!

HELP!!!

..questo è il programma ed il relativo quesito:

conc([], L, L).
conc([X|L1], L2, [X|L3]):- conc(L1, L2, L3).
invers([], []).
invers([T|C], L2):- invers(C, L1), conc(L1, [T], L2).

L1=[e, f, g], invers(L1, L2).

...il risultato, testato anche con SWI-ProLog, è:

L1 = [e, f, g],
L2 = [g, f, e]