Question

我试图实现一个谓词indices_zero(L,R)，它应该在列表中找到零的所有位置，并在新列表中输出索引。我试图用累加器来做这件事。例如：

?-indices_zero([1,-2,3,0,5,0],R).
R=[4,6];

我已实施以下内容：

indices_zero(Ls,R):-
   indices_zero(Ls,1,[],Result).

indices_zero([L|Ls],N,R,Result):- 
   L=:=0,
   N1 is N+1,
   indices-zero(Ls,N1,[N|R],Result).
indices_zero([L|Ls],N,R,Result):-
   L=\=0,
   N1 is N+1,
   indices_zero(Ls,N1,R,Result).
indizes_zero([],_,Result,Result).

我不确定为什么我的实施不起作用。我想我的口渴条款不正确，但我不知道如何解决这个问题。

Answer 1

试试这个。

indices_zero(Ls, R) :-
    indices_zero(Ls, 1, [], R).

indices_zero([], _, Result, Result).

indices_zero([0|T], N, Result_in, Result_out) :-
    N1 is N + 1,
    indices_zero(T, N1, [N|Result_in], Result_out).

indices_zero([H|T], N, Result_in, Result_out) :-
    H \== 0,
    N1 is N + 1,
    indices_zero(T, N1, Result_in, Result_out).

?- indices_zero([1,-2,3,0,5,0],R).
R = [6, 4] ;
false.

这是一种在回溯时构建结果的变体请注意，答案中索引的顺序现在按升序排列。

indices_zero(Ls,R) :-
    indices_zero(Ls,1,R).

indices_zero([],_,[]).

indices_zero([0|T], N, [N|Result]) :-
    N1 is N + 1,
    indices_zero(T, N1, Result).

indices_zero([H|T], N, Result) :-
    H \== 0,
    N1 is N + 1,
    indices_zero(T, N1, Result).

?- indices_zero([1,-2,3,0,5,0],R).
R = [4, 6] ;
false.

Prolog在列表中查找索引并将其作为列表输出

1 个答案: