Question

我在www.learnprolognow.org上发现了以下练习，我尝试解决它但未能：

编写谓词swap12(List1,List2)，检查List1是否与List2相同，但前两个元素是交换的。

我现在拥有的：

swap12([X,Y],[Y,X]).
swap12([X,Y|T],[Y,X|Z]) :-

Answer 1

你几乎就在那里：你只需要确定每个列表中前两个之后的元素是相同的（提示：如果两个东西都可以由同一个变量表示，它们是相同的）。实际上，您只需要一条规则。