Dovendo ancora dare, ahimè, l'esame di Logica per l'Informatica, mi stavo esercitando sulle vecchie prove e sono piantato su questo esercizio con zero idee sul come risolverlo.
"Sia L::= [] | N :: L la grammatica delle liste di numeri naturali, dove [] rappresenta la lista vuota, N è un numero naturale e :: è associativo a destra. Scrivere, per ricorsione strutturale su L, una funzione f(L) che restituisca la lista dalla quale sono stati eliminati i numeri duplicati. Esempio: f(1 :: 4 :: 1 :: 3 :: 1 :: []) = 1 :: 4 :: 3 :: []."
Qualcuno può aiutarmi o darmi uno spunto?
Grazie mille