由附加 SWi prolog 引起的无限循环

Question

我正在尝试向最初为空的列表添加值的代码。 使用 append 时，程序不断进入无限循环或出栈。

我正在使用 SWI Prolog，而且我是 Prolog 的新手。

getcardvalueList([],[_]).
getcardvalueList([H|Ts],[_]):-
   getcardvalue(H,Val),
   append([_],[Val],Vl),
   getcardvalueList(Ts,Vl).

append([X|Y],Z,[X|W]) :- append(Y,Z,W).
append([],X,X). 

Answer 1

您以一种奇怪的方式使用列表，我不确定该代码的用途。

无论如何，我认为您正在尝试编写 maplist，所以可以这样做

getcardvalueList(Cards, Values) :-
   maplist(getcardvalue, Cards, Values).

如果您尝试这样做，我可以显示“修改后的”代码：

getcardvalueList([],[]).
getcardvalueList([Card|Cards],[Val|Vals]):-
  getcardvalue(Card,Val),
  getcardvalueList(Cards,Vals).

不需要追加，列表构造是通过head'arguments中的模式完成的。 请注意，您应该避免重新定义库谓词，例如 append/3。