如何用Prolog实现列表元素重复三次？技术求助

没问题，这个需求用Prolog的递归特性就能轻松实现，咱们一步步来拆解：

核心思路 #

Prolog处理列表的核心逻辑就是递归分解：把列表拆成头部元素和剩余的尾部，先处理头部的重复需求，再递归处理尾部，最后把两部分结果拼接起来。

完整实现代码 #

% 基础情况：空列表重复三次后还是空列表
Three([], []).

% 递归情况：取出列表头部H，连续放三次到结果里，再递归处理剩余尾部T
Three([H|T], [H, H, H|ResultTail]) :-
    Three(T, ResultTail).

测试示例 #

直接运行你需要的查询：

?- Three([a,b,c], X).

会得到你期望的输出：

X = [a, a, a, b, b, b, c, c, c]

而且Prolog的特性还支持反向查询，比如你想知道哪个原始列表重复三次后得到[a,a,a,b,b,b]，可以这么查：

?- Three(X, [a,a,a,b,b,b]).

会返回：

X = [a, b]

扩展小技巧（可选） #

如果以后需要让重复次数可变（比如重复N次），可以写一个更通用的版本：

% 单个元素重复N次的辅助谓词
repeat_element(_, 0, []).
repeat_element(H, N, [H|T]) :-
    N > 0,
    N1 is N - 1,
    repeat_element(H, N1, T).

% 列表整体元素重复N次的谓词
repeat_list([], _, []).
repeat_list([H|T], N, Result) :-
    repeat_element(H, N, RepeatedH),
    repeat_list(T, N, RepeatedT),
    append(RepeatedH, RepeatedT, Result).

% 基于通用版本实现你的Three/2
Three(List, Result) :-
    repeat_list(List, 3, Result).

这个版本灵活性更高，但对于你当前的需求，第一个简单递归版本就完全够用啦。

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