Prolog:为什么我最终会得到带有匿名变量的列表

Question

我只想写一个谓词，它需要两个列表:L1和 L2 ，我希望第三个元素返回第一个 N L2 的元素，其中 N是 L1 的长度.假设我可以假设 L2长于 L1 ，我不想使用内置的 length ，所以我尝试这样做:

getFirstPart([],_,_).
getFirstPart([H1|T1],[H2|T2],[H2|T3]) :- getFirstPart(T1,T2,T3).

当我尝试时，它给了我

?- getFirstPart([1,1,1],[1,2,3,4,5,6],L).
L = [1, 2, 3|_5081628].

谁能告诉我出了什么问题？谢谢!

Answer 1

让我们来看看推导树。我们从目标开始

getFirstPart([1,1,1],[1,2,3,4,5,6],L).

应用递归规则，我们获得了一个新目标

getFirstPart([1,1],[2,3,4,5,6],L2).

与 L = [1 | L2] .在下一个递归步骤中也会发生同样的情况:

getFirstPart([1],[3,4,5,6],L3).

与 L2 = [2 | L2] .再一次，我们得到

getFirstPart([],[4,5,6],L4).

与 L3 = [3 | L4] .然后是基本情况。当我们把替代品放在一起时，我们得到 L = [1,2,3 | L4]对 L4 没有限制.姓名 _5081628只是 L4的内部名称在您的 Prolog 解释器中。