初学者 Prolog 问题 - 比较总是返回 false

Question

我有一个非常简单的 Prolog function 但 Prolog 总是从比较中返回false ，我不知道为什么。 我想取N个字母并将它们放在一个列表中。 因此，如果我用N=6调用它，我想要[A,B,C,D,E,F] 。 谁能告诉我我做错了什么？

create([],_,_,[]).
create([X|XS],Length,Acc,[X|NewList]) :-
    Acc<Length, create(XS,Length,Acc+1,NewList).

当我使用 SWIPL 运行它时，我得到了这个：

?- create([A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z],6,0,Nodes).
false.

但是，如果我取出Acc<Length它会创建一个包含 26 个字母的列表：

?- create([A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z],6,0,Nodes).
NewList = [A, B, C, D, E, F, G, H, I|...].

Answer 1

这是一个在评论中总结了我们讨论的解决方案，但使用了漂亮的模式匹配：

create(_,Length,Length,[]).
create([Head|Tail],Length,Acc,[Head|NewList]):- 
    Acc<Length, 
    Acc1 is Acc + 1,
    create(Tail,Length,Acc1,NewList).

作为奖励，这是另一个解决方案：

create(List, Length, Solution):-
    length(Solution, Length),
    append(Solution, _, List).

---

编辑：重新考虑它，我不太确定这是你想要的，因为可能在你的第一个子句中，你想指定当 List 的成员少于 Length 时应该发生什么，即返回完整列表.

好的，那么正确的答案是：

create([],_,_,[]).
create(_,Length,Length,[]).
create([Head|Tail],Length,Acc,[Head|NewList]):- 
    Acc<Length, 
    Acc1 is Acc + 1,
    create(Tail,Length,Acc1,NewList).

和

create(List, Length, Solution):-
    length(Solution, Length),
    append(Solution, _, List), 
    !.
create(List, _, List).