Prolog中的多项式乘法

Question

我尝试编写一个执行两个多项式相乘的谓词，但仅在它只接收单项时才起作用。 这是代码： Code Monomial + Polinomial ， Code Multiplication

答案：

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)])]).

我想知道你是否对此有任何帮助。