Prolog：将其中的1个列表乘以2列表未实例化？

Question

我想写一个规则，可以返回两个列表（相同长度）的每个元素的乘积的总和。

这是我现在所拥有的：

sum(0, _, []). 
sum(Result, [H1|T1], [H2|T2]) :- 
    sum(Remaining,T1, T2), 
    Remaining is Result - (H1*H2). 

时不会被实例化的列表中一个它不会工作。为了做到以下几点，我需要做出什么样的改变？

sum([1,2],X,3). 
X = [3,0]. 

谢谢。

Answer 1

您正在计算的内容通常被称为dot product（也称为标量产品或内积）。

你写你不允许使用库。这肯定是指外部库---不是标准库是SWI Prolog的一部分，对不对？

以下谓词list_list_dotProduct/3大致对应于您实施的代码。它采用有限域约束(#>=)/2和(#=)/2允许非单向整数运算：

:- use_module(library(clpfd)). 

list_list_dotProduct([],[],0). 
list_list_dotProduct([X|Xs],[Y|Ys],Sum) :- 
    X #>= 0, 
    Y #>= 0, 
    Sum #= X*Y + Sum0, 
    list_list_dotProduct(Xs,Ys,Sum0). 

考虑下面的查询：

?- list_list_dotProduct([1,2],Xs,3), label(Xs). 
Xs = [1, 1] ; 
Xs = [3, 0]. 

---

作为一个额外的好处，这里是一个替代实现即基于预定义的谓词same_length/2,ins/2和scalar_product/4：

list_list_dotProduct(Xs,Ys,Prod) :- 
    same_length(Xs,Ys), 
    Xs ins 0..sup, 
    Ys ins 0..sup, 
    scalar_product(Xs,Ys,#=,Prod).