在Prolog中乘两个多项式

我试图用Prolog实现两个多项式相乘的多项式乘法。下面是SML中给出的代码，但我需要Prolog中的代码。SML的测试溶液为poly_mult（[1.0,5.0,1.0]，[3.0,10.0,15.0]）；并将返回val it=[3.0,5.0，~32.0,65.0,15.0]：real list我试图用Prolog编写代码，但我得到的不正确。有人能帮忙吗？谢谢

在SML中

fun poly_add (M,nil) = M
|  poly_add (nil,N) = N
|  poly_add ((m:real)::mr, n::nr) = (m+n)::poly_add(mr,nr);

fun scalar_mult (nil,m) = nil
|  scalar_mult((m:real)::mr,n) = (m*n)::scalar_mult(mr,n);

fun poly_mult (M,nil) = nil
|  poly_mult (M,n::nr) = poly_add (scalar_mult(M,n), 0.0::poly_mult(M,nr));

我在PROLOG里有什么

poly_add(Constant,[],Constant) :- !.
poly_add([],Constant2,Constant) :- !.
poly_add([Head1 | Head2], [Tail | Tail2], [HeadSum |TailSum]) :-
    HeadSum is Head + Tail,
    poly_add(Head2, Tail2, TailSum).

scal_mult([],Head,[]) :- !.
scal_mult([Head | Head2], [Tail], [HeadMult | TailMult]) :-
    HeadMult is Head * Tail, 
    scal_mult(Head2, Tail, TailMult).

poly_mult(Constant,[],[]) :- !.
poly_mult([Constant], [Tail | Tail2]) :-
    poly_add(scal_mult([Constant, Tail]), [0 | poly_mult] ([Constant, Tail2]).

---

你能详细说明一下我所说的不正确吗？首先，

poly\u mult/3

必须有不同的定义：Prolog没有函数。它在变量和术语之间建立了（很好的）关系。它在测试中返回false而不是答案。我不认为我的代码在Prolog中是正确的，但在SML中是正确的。@mpeytonfan18:然后，您可以通过单击复选标记来接受它-有关详细信息，请参阅：

poly_sum(Ms,[],Ms) :- Ms = [_|_].
poly_sum([],Ns,Ns).
poly_sum([M|Ms], [N|Ns], [S|Ss]) :-
   S is M+N,
   poly_sum(Ms, Ns, Ss).

scal_prod([],_Sc,[]).
scal_prod([M|Ms], Sc, [P|Ps]) :-
   P is M*Sc,
   scal_prod(Ms, Sc, Ps).

poly_prod(_,[],[]).
poly_prod(Ms,[N|Ns], Xs2) :-
   poly_prod(Ms,Ns, Xs1),
   scal_prod(Ms, N, Ps),
    poly_sum(Ps, [0.0|Xs1], Xs2).


?- poly_prod([1,2,3,4],[5,6,7],Xs).
Xs = [5.0, 16.0, 34.0, 52, 45, 28] ;
false.