Prolog谓词定义最佳实践咨询：对比duplicate_elements/2的两种实现方案

毫无疑问，方案1更符合Prolog谓词定义的最佳实践。原因主要在于它充分利用了Prolog最核心的特性——模式匹配，而这正是编写地道Prolog代码的关键。

为什么方案1更贴合最佳实践？ #

Prolog的子句头部天生就是用来做模式匹配的，这是它区别于其他语言的核心优势之一。方案1直接在子句头部就把输入列表的头元素P和输出列表里连续两个P做了绑定：

duplicate_elements_1([P | R],[P,P | T]) :- duplicate_elements_1(R , T).

这种写法既简洁又直观，一眼就能看懂“输入列表的每个元素，在输出列表里会重复两次”的核心逻辑。而且从执行效率上来说，模式匹配是在Prolog选择子句的阶段就完成的，不需要额外的统一化操作，性能更优。

方案2的局限性 #

方案2虽然功能上完全正确，但它把本该在头部完成的模式匹配，放到了子句体内用=/2来手动实现：

duplicate_elements_2([P | R],[H1,H2 | T]) :- H1 = P, H2 = P, duplicate_elements_2(R , T).

这种写法相当于绕了个弯——先给输出列表的前两个元素起了H1、H2的名字，再手动把它们和P做统一。虽然逻辑没问题，但不符合Prolog的声明式编程风格，代码的可读性和简洁性都不如方案1，本质上是没有用好Prolog的原生特性。

额外验证：多方向调用的表现 #

Prolog的谓词天生支持多方向调用，比如我们反过来查询“什么样的输入列表会生成[a,a,b,b]”：

?- duplicate_elements_1(L, [a,a,b,b]).
L = [a, b].

?- duplicate_elements_2(L, [a,a,b,b]).
L = [a, b].

两种方案都能得到正确结果，但方案1的代码在语义上更直接，完全符合声明式的表达——它描述的是“输入和输出列表的结构关系”，而不是“怎么一步步生成输出”。

总结一下：编写Prolog代码时，尽量在子句头部使用模式匹配来表达结构关系，减少体内的显式统一操作，这是公认的最佳实践，能让你的代码更地道、更易读、更高效。

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