Prolog：使用 nth1/3 增加列表中的值

Question

我正在尝试实现一个递归 Prolog 谓词，当给定一个全 0 列表 ResultList 和 Dim 元素和另一个值高达 Dim 的列表时，它会在第二个列表中运行并增加 +1 到ResultList 的第 n 个元素并返回 ResultList，到目前为止我有：

increment_list([],_).
increment_list([Element|Tail],ResultList):-
    nth1(Element,ResultList,_ is _+1),
    increment_list(Tail,ResultList).

例如

?-increment_list([1,2,4,3,4],[0,0,0,0]).

会返回：

[1,1,1,2]

我显然遇到的困难和困惑是如何增加值，是否可以在不定义额外谓词或使用单例变量的情况下做到这一点？

Answer 1

在 prolog 中，您不能修改列表中的值。你可以这样做：

increment_list([],L,L).
increment_list([H|T],LT,LO):-
    increment_nth(H,1,LT,LT1),
    increment_list(T,LT1,LO).

increment_nth(_,_,[],[]).
increment_nth(I,I,[H1|T1],[H2|T1]):-!, 
    succ(H1,H2).
increment_nth(I,C,[H|T1],[H|T2]):-
    C1 is C+1,
    increment_nth(I,C1,T1,T2).

基本上是一个嵌套循环。在每个循环中，您都会创建一个新列表，它与之前的列表相同，只是您考虑的索引处的值是之前的索引加一。

?- increment_list([1,2,4,3,4,1],[0,0,0,0],LO).
LO = [2, 1, 1, 2]

编辑

感谢 Daniel Lyons，我修改了谓词。