[Prolog] Generalizzare una lista di numeri

[Johnn]

Mi serve per un progetto di intelligenza artificiale.

Data una lista di numeri vorrei ottenere una lista di variabili: a numero uguale corrisponde variabile uguale. Sto utilizzando GNU Prolog.

Qualche esempio:

generalizza_lista([1,2,3,4,5],[X1,X2,X3,X4,X5]).

yes.

generalizza_lista([1,2,3,2,1,3,4],Y).

Y=[X1,X2,X3,X2,X1,X3,X4]

yes.

Grazie.

[Johnn]

Problema risolto.

Una soluzione che ho adattato si trova sulle dispense del mio professore a pag 128 del seguente pdf:

http://http://www.dimi.uniud.it/dovi...20formisano%22

(Attenzione ché sono 300 pagine!!!).

Degli esempi che ho fatto nel precedente post, funziona in realtà solo il primo, quello cioè senza doppioni nella lista. Ciò è dovuto al differente compilatore utilizzato dal professore.