在序言

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; 
}