%линеаризация(уничтожение многоуровневости списка к пр. [a,[b,[c]]] --> [a,b,c])

lineariz([H|L],L1):-lineariz(H,LS),lineariz(L,LS2),union_lists(LS,LS2, L1).
lineariz([],[]).
lineariz(H,[H]).

[a,[b,[c]]] --> [a,b,c]
[a,[b,[c]]] --> [a,b,c,[]]
[a,[b,[c]]] --> [a,b,c,[],[]]
[a,[b,[c]]] --> [a,b,c[],[],[]]
...........................................
[a,[b,[c]]] --> [a,b,[c]] и т. д.


Но если добавить ! в выражение, то обратный ход отсечется, как и куча лишних вариантов:

%линеаризация(уничтожение многоуровневости списка к пр. [a,[b,[c]]] --> [a,b,c])

lineariz([H|L],L1):-lineariz(H,LS),lineariz(L,LS2),!,union_lists(LS,LS 2,L1).
lineariz([],[]).
lineariz(H,[H]).


результат :
[a,[b,[c]]] --> [a,b,c]

%второй вариант у меня так и не заработал, но может кто усовершенствует:
%lineariz([[H|L]|H1],L2):-lineariz([H|[L|H1]],L2).
%lineariz([H|[L|H1],[H|L2]):-lineariz([L|H1],[H|L2]).