prolog - 传递 Prolog 谓词的结果

Question

如何评估作为参数传递的序言谓词的结果？
我正在尝试编写代码来反转列表中的元素对:

swap([A,B,C,D,E,F],R).

我想要结果:

[B,A,D,C,F,E]

但我得到了这个结果:

append(append(append([],[B,A],[D,C],[F,E])))

这是我的代码:

swap(L,R) :- swapA(L,[],R).
swapA([],A,A).
swapA([H,H2|T],A,R) :-  swapA(T, append(A,[H2,H]), R).

谢谢。

Answer 1

几件事:

变量以大写字母开头，如果要将原子与变量区分开，请将其包裹在 ' 之间:['A','B','C','D','E','F']

您不需要 append 即可成功实现此谓词。使用 append 时，复杂性要差得多。

因为不需要追加，所以也不需要 3 个参数，2 个就足够了

这是一个建议:

swapA([], []).
swapA([X, Y|T], [Y, X|R]) :- swapA(T, R).

如果您希望在列表中有奇数个元素时保持谓词，请考虑添加另一个基本情况:

swapA([X], [X]).