序言：附加到列表的开头

Question

我该如何做？ 具体来说，如果我有这样的列表：

List = [8, 9, 10]. % I know this using matching to assign the say that [8, 9, 10] = [8, 9, 10], thus making List contain [8, 9, 10]

现在，如果我尝试将另一个变量附加到此现有列表中，该怎么做？ 我尝试了这个：

List = [7|List].

这显然将不起作用（尽管我希望如此）。 然后我尝试了这个：

List is [7|List].

依然没有。 如何将变量附加到列表的开头？ 如果有办法不使用其他功能，而是通过操纵此列表，我会更喜欢，但是欢迎所有解决方案。

谢谢

---

说我有一个像这样的存根：

stub(List):-
    List2 = [7|List],
    %% Do something recursively
    List = List2 %% How do I do thi part?

找到了一个解决方案，看起来不太优雅，但是可以正常工作！

stub(List, List2):-
    stub(List, [7|List2]), %% Some base case causes this recursion to stop
    %% Do something in the recursion
    List = List2 %% Finally do what I wanted to do

Answer 1

您需要一个新变量。 因此List2 = [7|List] 。

与传统的面向命令的编程语言（也称为命令式编程语言）相比，这很奇怪，但这是声明性编程语言（尤其是逻辑编程语言）的本质。

这背后有很多含义，例如，它允许以一种更容易的方式推理程序。

_{无论如何，请查阅Prolog入门书，例如Prolog的艺术。}