Prolog递归代码返回false，添加变量作为递归列表解析的输入

Question

我正在编写序言来打印列表的每个元素，只要计数器大于 0。

printLN([],_).
printLN(_,-1).
printLN([[x,y] | T], N) :-
    write(x), write(y), nl,
    N2 is N-1,
    printLN(T, N2).

这应该打印 3 对。

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

这应该打印 3 对。

printLN([[1,2],[3,4],[5,6]], 8).

这应该打印第一对。

printLN([[1,2],[3,4],[5,6]], 0).

不过，我一直在说假话。有人知道为什么会这样吗？

同样，我该如何执行：

getPartialList(N) :-
    getList(LIST), printLN(LIST, N).

其中 getList 返回一个对列表，例如：

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

Answer 1

不过，我一直在说假话。有人知道为什么会这样吗？

两个错误： a) write(x) 应该写成 write(X) 其中 X 是一个逻辑变量（大写）。 b) 即使 N 0。

printLN([],_).
printLN(_, -1) :- !.
printLN([[X,Y] | T], N) :-
    N > 0,
    write(X), write(Y), nl,
    N2 is N-1,
    printLN(T, N2).