Полиномиальное умножение в прологе

Question

Я попытался написать предикат, который выполняет умножение двух полиномов, но работает только тогда, когда он получает только одночлены. Это код: код моном + полином, код умножения

Ответ:

1 ?- polytimes(2*a*c,4*b*e,A).
A = poly([m(8, 4, [v(1, a), v(1, c), v(1, b), v(1, e)])]).

2 ?- polytimes(3*a*c,2*b,A).
A = poly([m(6, 3, [v(1, a), v(1, c), v(1, b)])]).

3 ?- polytimes(2*a + z,4*b*e,A).
A = poly([m(8, 4, [v(1, a), v(1, z), v(1, b), v(1, e)])]).

Я хочу знать, была ли у вас какая-либо помощь по этому поводу.