Question

我想在arrayLEQ(L,N)时创建一个谓词L = [1,2,3,...,N]。

我尝试递归地执行此操作：

arrayLEQ(L,N) :- arrayLEQ([],L,1,N).
arrayLEQ(L1,L2,N,N) :- append(L1,[N],L2).
arrayLEQ(L1,L2,F,N) :- Fnext is F+1, append(L1,[F],L1n), arrayLEQ(L1n,L2,Fnext,N).

起初我认为它会起作用，但遗憾的是它没有。

当我这样做时： ?- arrayLEQ(L,5)我得到L = [1,2,3,4,5]这是正确答案，但Prolog已准备好寻找另一个答案，这是不需要的。

你能不能向我解释我做错了什么以及为什么Prolog试图寻找这个谓词的另一个答案，即使它不存在。

Answer 1

让我们在第一个查询成功后查看跟踪器：

?- arrayLEQ(L,5).
L = [1,2,3,4,5].
more

 Redo:arrayLEQ([1, 2, 3, 4], _5040, 5, 5)
 Call:_5844 is 5+1
 Exit:6 is 5+1
 Call:lists:append([1, 2, 3, 4], [5], _5854)
 Exit:lists:append([1, 2, 3, 4], [5], [1, 2, 3, 4, 5])
 Call:...
 Call:_5880 is 6+1
 Exit:7 is 6+1
 Call:lists:append([1, 2, 3, 4, 5], [6], _5890)
 Exit:lists:append([1, 2, 3, 4, 5], [6], [1, 2, 3, 4, 5, 6])
 Call:arrayLEQ([1, 2, 3, 4, 5, 6], _5040, 7, 5)
 Call:_5922 is 7+1
 Exit:8 is 7+1
 Call:lists:append([1, 2, 3, 4, 5, 6], [7], _5932)
 Exit:lists:append([1, 2, 3, 4, 5, 6], [7], [1, 2, 3, 4, 5, 6, 7])
 Call:arrayLEQ([1, 2, 3, 4, 5, 6, 7], _5040, 8, 5)
 Call:_5970 is 8+1
 Exit:9 is 8+1
 and so on...

您可以看到您的程序不断添加元素到列表中。所以有两种解决方案：

添加剪辑（!）：arrayLEQ(L1,L2,N,N):- !, append(L1,[N],L2).它有效但可能（在我看来）有更好的解决方案。
添加元素时，不要检查是否已经通过了您设置的阈值（在本例中为5）。因此，您只需在执行F < N之前添加Fnext is F+1。所以：arrayLEQ(L1,L2,F,N) :- F < N, Fnext is F+1, append(L1,[F],L1n), arrayLEQ(L1n,L2,Fnext,N)。（我个人更喜欢这个解决方案）

现在查询（使用第二个解决方案）：

?- arrayLEQ(L,5).
L = [1, 2, 3, 4, 5].
more.
false.

我建议你不要使用append/3，因为在这种情况下根本不需要写这样的东西：

orderedList(L,N):-
    orderedList(L,1,N).
orderedList([N],N,N). %you can add a cut ! here, to avoid further search
orderedList([H|T],C,N):-
    C < N,
    H is C,
    C1 is C+1,
    orderedList(T,C1,N).

?- orderedList(L,5).
L = [1, 2, 3, 4, 5]
more
false

然后，如果你需要返回一个空列表，你可以添加一个谓词来轻松处理这个案例... BTW还检查@repeat评论中链接的问题

在Prolog中创建[1,2,3 ...，N]列表

1 个答案: