Question

my_reverse(L1,L2) :- my_rev2(L1,L2,[]).

my_rev2([],L2,L2).
my_rev2([X|Xs],L2,Acc) :- my_rev2(Xs,L2,[X|Acc]).

您好，

第二行中有两个相同的变量名称是什么意思？

Answer 1

我想“第二行”你的意思是“第三行”，所以我们在谈论这个条款：

my_rev2([], L2, L2).

这是my_rev2/3的第一个条款，对吧？

那么在子句头中，同样的变量出现两次是什么意思？附带问题：第一个参数在条款头中是[]是什么意思？

如果您首先引入新变量然后进行所有统一显式，这一切都会变得清晰。我们可以写下如下条款：

my_rev2(Ls, L1, L2) :- Ls = [], L1 = L2.

现在很明显：my_rev(Ls, L1, L2)拥有，如果 Ls = [] 和 L1 = L2。当然，没有必要那么冗长，所以我们可以简单地将这些统一直接引入条款头部！

这可能听起来很简单，但事实上你的问题非常好：我看到很多初学者没有将这些统一纳入子句头，不必要地使他们的代码复杂化，同时也是如此时间（这通常是相辅相成的）也使它效率降低。

<小时/> 关于样式的小注释：我建议让表示列表的变量名称以“s”结尾，类似于常规英语复数形式。此外，将下划线（_）附加到辅助谓词的名称通常很有用。所以，我会写出类似于：

的初始事实

reverse_([], Ls, Ls).

当然，这在语义上等同于：

reverse_([], As, Bs) :- As = Bs.