Сложение многочленов

%Полиномы хранятся в виде фактов
% pol (+Name,-<список одночленов>).
%Ввод полинома: enter(+Name)
enter(X):
write('Введите полином с именем'), write_ln(X),
enter(X,[],_).
enter(X,S,P):-
write_ln('Введите очередной одночлен или end'),
read(T),
((T=end,place(X,S,P));
(T\=end,
enter(X,[T|S],P))).
%привести подобные во введенном полиноме, упорядочить члены\%загрузить в базу данных
place(X,S,P):-
merge(S,[],P),
retractall(pol(X,_)),
assert(pol(X,P)).
%сложение полиномов, представленных списками одночленов
merge([],L,L).
merge([X|L1],L2,L):-
insert(X,L2,L3),
merge(L1,L3,L).
insert(X,[],[X]).
insert(X,[Y|T],[Z|T]):-
equal(X,Y,Z),Z\=0,!.
insert(X,[Y|T],T):-
equal(X,Y,0),!.
insert(X,[Y|T],[X,Y|T]):-
low(X,Y).
insert(X,[Y|T],[Y|T1]):-
not(low(X,Y)),
insert(X,T,T1).
/*equal(X,Y,Z)- из двух мономов X, Y при приведении подобных получаем Z
low(X,Y) - моном X предшествует моному Y*/
%приведение полинома к более "читабельному" виду
canon([],0).
canon([X],X).
canon([X,Y],Y+X).
canon([X,Y|T],Z+Y+X):-
length(T,M),M>0,
canon(T,Z).
%показать полином
show(X):-
pol(X,P),
canon(P,P1),
write('Полином с именем'), write_ln(X),write_ln(P1).
%сложение полиномов
plus_pol(X,Y,Z):-
pol(X,P1),
pol(Y,P2),
merge(P1,P2,P),
retractall(pol(Z,_)),
assert(pol(Z,P)),
show(Z).

write_ln(Введите очередной одночлен или end'),