Prolog：递归无法正常工作

Question

我想写change_state(+L1, +L2, -L3).

L1 包含状态，例如：[碾磨、烧毁] L2 包含谓词，例如：[del(milled), add(shifted)] 而L3就是返回列表。

例子：

L1 = [milled, burned]
L2 = [del(burned), add(shifted)]
L3 = [milled, shifted]

所以 L1 是我的起始列表，根据 L2 中的谓词，我会更改 L1 的状态。

这是我的递归解决方案：

change_state([], [], []).

change_state(X, [], []).

change_state(State, [H|T], NewState) :-
    functor(H, N, 1),
    arg(1, H, A),
    (    N = del 
    ->   remove_from_list(A, State, NewState)
    ;    arg(1, H, A),
         add_to_list(A, State, NewState) ),
    print(NewState),
    change_state(NewState, T, X),
    print(NewState).

我还把一些打印到函数中进行调试。

现在的问题：

如果我用

调用函数

change_state([milled, burned], [del(burned), add(lol), add(hi)], L).

我得到了结果

L = [milled].

所以只有 L2 中的第一个谓词有效。

但打印显示我：

[milled][lol,milled][hi,lol,milled][hi,lol,milled][lol,milled][milled].

所以它确实有效，但是由于递归，它回到了第一个状态。

知道如何解决这个问题吗？

Answer 1

虽然您的代码已经在 cmets 中指示的修改下正常工作，但我认为更清晰的实现如下：

change_state(State, Changes, NewState) :-
    change_state_loop(Changes, State, NewState).

% Reverse the order of the first two arguments to avoid choice points.

change_state_loop([], State, State).
change_state_loop([Change|Changes], State, NewState) :-
    do(Change, State, PartiallyUpdatedState),
    change_state_loop(Changes, PartiallyUpdatedState, NewState).

% Use unification to choose the correct operation to perform.

do(del(Fluent), State, NewState) :- subtract(State, [Fluent], NewState).
do(add(Fluent), State, NewState) :- union(State, [Fluent], NewState).