prolog中的尾递归程序计算正数和负数

Question

我想在prolog中编写一个尾递归程序：count_neg(Ls, N, R)如果Ls是整数列表而N是负数元素的数量，则为真。 R应代表非负面元素列表。

一个例子：

count_neg([1,-2,0,1,2,-3],N,R).
N = 2,
R = 4.

这是我到目前为止编写的代码：

count_neg(Ls, N, R) :- count_neg(Ls, 0, 0, N, R).
count_neg([L|Ls], Cnt1, Cnt2, N, R) :- (L > 0 -> C1 is Cnt1 + 1, !; L < 0 -> C2 is Cnt2 + 1, !), count_neg(Ls, C1, C2, N, R).

count_neg([], Cnt1, Cnt2, N, R) :- N is Cnt1.
count_neg([], Cnt1, Cnt2, N, R) :- R is Cnt2.

问题是，N和R都在开头用0初始化是正确的，但是当程序计算第一个负数时，它不会从零开始计数，而是从_21532并导致错误：

有谁知道这里有什么问题？我也想在我的程序中使用Cuts。

Answer 1

问题来自于您没有正确更新索引并使用未实例化的参数调用谓词is/2。 可能的解决方案可能是：

count_neg(Ls, N, R):- 
    count_neg(Ls, 0, 0, N, R).

count_neg([],C1,C2,C1,C2).
count_neg([L|Ls], Cnt1, Cnt2, N, R):- 
    (L > 0 -> 
        C1 is Cnt1 + 1,
        C2 is Cnt2
    ;
        C2 is Cnt2 + 1,
        C1 is Cnt1), 
    count_neg(Ls, C1, C2, N, R).

?- count_neg([1,-2,0,1,2,-3,8],N,R).
N = 4
R = 3

此外，您不需要最后两个谓词和剪辑。在问题中，您说R应代表一个列表，但使用之前的解决方案，您无法获得列表。要获得它，您可以像这样修改程序：

countNeg(L,N,R):-
    countNeg(L,N,0,R,[]).

countNeg([],N,N,R,R).
countNeg([H|T],N,C,R,L1):-
    (   H < 0 ->  
        C1 is C+1,
        countNeg(T,N,C1,R,L1);
    append(L1,[H],L2),
    countNeg(T,N,C,R,L2)).

?- countNeg([1,-2,0,1,2,-3],N,R).
N = 2
R = [1, 0, 1, 2]

在此解决方案中，您还可以注意到您在每个分支中调用countNeg/5（我检查是否< 0，而在前一种情况下，您检查> 0）。