在序言

Question

倒车一个简单的列表下面的代码将在序言名单上执行反向：

rev([], []). 
rev([X|Xs], Ys) :- rev(Xs, Zs), append(Zs, [X], Ys). 

我不知道为什么它的工作原理，虽然下面是我理解，但我希望进一步澄清。

基本情况表明空列表会导致一个空列表。

我不知道之后发生了什么。为什么它调用append函数？

Answer 1

第一步是了解何时append(Zs, [X], Ys)为真。它说：当您将项目[X]添加到列表Zs的末尾并且结果等于Ys时，就是如此。

然后rev(Xs, Zs)为Zs为倒数列表Xs时为true。

所以整个algoritm说，当你扭转名单Xs然后追加[X]到反向列表的末尾Ys反转的[X|Xs]名单。

在一些程序上的语言，你可以写同样的算法与下面的代码：

function List<T> Reverse(List<T> items) 
{ 
    if (items.Count == 0) 
     return items; 

    var reversedList = Reverse(items.Skip(1)); 
    reversedList.Add(items.First()); 
    return reversedList; 
}