|
% PROCEDURA PER SOSTITUIRE A UNA LISTA OGNI OCCORRENZA DI UN ELEMENTO CON UN ALTRO ELEMENTO
% subst(T, T1, L, L1)
% "L1 è una lista derivata dalla lista L, in cui ogni occorrenza di T è stata sostituita con T1"
subst(_, _, [], []) :- !. % caso base: lista vuota
subst(T, T1, [T|L], [T1|L1]) :- !, subst(T, T1, L, L1). % sostituizione di T con T1
subst(T, T1, [X|L], [X|L1]) :- subst(T, T1, L, L1). % trascrizione degli elementi diversi da T
|
|