Question

我希望有一个谓词在第一次迭代时有一个空列表，所以

示例（列表，结果）： -

我需要结果等于[]，这是第一次使用它，它是一个矩阵，我想不断添加矩阵。

|a,b,c| |j,k,l| |s,t,u|
|d,e,f| |m,n,o| |v,w,x|
|g,h,i|.|p,q,r|,|y,z,?|

/*I want to be able to get back */
|(a+j+s),(b+k+t),(c+l+u)|
|(d+m+v),(e+n+w),(f+o+x)|
|(g+p+y),(h+q+z),(i+r+?)|

这些通常是浮动值。

我需要将结果作为[]第一次使我的谓词起作用。这可能吗？我知道这是一个令人困惑的问题，如果你能理解这一点，那将是一个很长的镜头，但任何帮助都会很棒。

Answer 1

简单的真值表。迭代列表列表时有8种可能的组合，对吗？

尝试这样的事情：

foo( []     , []     , []     , []     ) .
foo( []     , []     , [Z|Zs] , [Z|Rs] ) :- R is 0+0+Z , foo( [] ,[] ,Zs , Rs ) .
foo( []     , [Y|Ys] , []     , [Y|Rs] ) :- R is 0+Y+0 , foo( [] ,Ys ,[] , Rs ) .
foo( []     , [Y|Ys] , [Z|Zs] , [R|Rs] ) :- R is 0+Y+Z , foo( [] ,Ys ,Zs , Rs ) .
foo( [X|Xs] , []     , []     , [R|Rs] ) :- R is X+0+0 , foo( Xs ,[] ,[] , Rs ) .
foo( [X|Xs] , []     , [Z|Xs] , [R|Rs] ) :- R is X+0+Z , foo( Xs ,[] ,Zs , Rs ) .
foo( [X|Xs] , [Y|Ys] , []     , [R|Rs] ) :- R is X+Y+0 , foo( Xs ,[] ,Zs , Rs ) .
foo( [X|Xs] , [Y|Ys] , [Z|Zs] , [R|Rs] ) :- R is X+Y+Z , foo( Xs ,Ys ,Zs , Rs ) .

Prolog将列表初始化为零以使用sum

1 个答案: