如何在Prolog中实现无内置函数的列表逐元素相乘？

嘿，我来帮你搞定这个需求！要实现两个列表的逐元素相乘，而且不能用Prolog的内置列表操作函数（比如maplist这类），咱们用递归的思路就很容易实现——这也是Prolog处理列表问题的经典方式。

核心思路 #

咱们分几种情况来处理：

• 当两个输入列表都是空列表时，结果自然也是空列表——这是递归的终止条件。
• 当两个列表都有元素时，取出各自的第一个元素相乘，得到结果列表的第一个元素；然后递归处理两个列表剩下的部分，把后续结果拼进来。
• （可选）如果两个列表长度不一样，咱们可以约定只处理到较短列表的末尾，剩下的元素直接忽略。

代码实现 #

首先，先写基础的等长列表处理版本：

% 终止条件：两个空列表返回空列表
multiply_lists([], [], []).

% 递归情况：取两个列表的头元素相乘，再递归处理尾
multiply_lists([H1|T1], [H2|T2], [ResultHead|ResultTail]) :-
    % 计算两个头元素的乘积（这里用is做算术运算，不属于列表操作的内置函数）
    ResultHead is H1 * H2,
    % 递归处理剩下的列表部分
    multiply_lists(T1, T2, ResultTail).

如果要求完全不使用内置乘法运算（连is里的*都不用），那咱们可以自己用递归加法实现乘法规则：

% 自定义乘法规则（递归加法实现）
multiply(_, 0, 0).
multiply(A, B, Result) :-
    B > 0,
    B1 is B - 1,
    multiply(A, B1, R1),
    Result is R1 + A.
multiply(A, B, Result) :-
    B < 0,
    B1 is B + 1,
    multiply(A, B1, R1),
    Result is R1 - A.

% 列表相乘规则
multiply_lists([], [], []).
multiply_lists([H1|T1], [H2|T2], [ResultHead|ResultTail]) :-
    multiply(H1, H2, ResultHead),
    multiply_lists(T1, T2, ResultTail).

测试例子 #

运行你给出的测试用例：

?- multiply_lists([1,2,3], [4,5,6], X).
X = [4, 10, 18].

完全符合预期！

处理不等长列表（可选） #

如果想要支持两个列表长度不同的情况，只需要修改终止条件，让其中一个列表为空时就停止：

multiply_lists([], _, []).
multiply_lists(_, [], []).
multiply_lists([H1|T1], [H2|T2], [ResultHead|ResultTail]) :-
    ResultHead is H1 * H2,
    multiply_lists(T1, T2, ResultTail).

比如测试：

?- multiply_lists([1,2], [3,4,5], X).
X = [3, 8].

内容的提问来源于stack exchange，提问作者George