问Prolog:列表中的平方数

EN

我们定义了一个谓词，它描述了一个列表A和另一个列表B: B之间的关系，B:B应该有所有与A相同的元素，但A中的任何数字都应该在B中平方。

你做错了什么：

• 你的基础条件，square([],X)，说当A是空的，那么B就是任何东西(例如，甚至像square([], 15)这样的东西也是真的)。但这并不能表达我们所追求的意义，因为第二个参数应该是一个与第一个参数相同的成员数的列表。也就是说，当第一个列表是空的，那么第二个列表应该是空的。
• 递归规则也会出现同样的问题，因为在每次迭代时，都会传递一个未定变量，而且对于第一个列表和第二个列表之间的关系从来没有说过什么。
• 只有当第一个要素是数字时，这个规则才会成功。在第一个元素为a的情况下(如您的示例中)，number(a)将为false。由于谓词没有附加规则，除非第一个列表中的每个成员都是一个数字，否则它将是假的。
• Prolog中的变量必须在其出现的上下文中始终具有相同的一致值。它们的作用就像算术公式中的变量。公式a+ but =a对于a和b的任何值都是真的，但*只有当a和b各分配一个时，整个方程的一致值才是成立的。在表单<variable> is <expression>的Prolog语句中也是如此。你写的是a=a*a，但情况并非如此。

*你的定义大概是这样的:如果A是空列表，而B是数字的第一个元素，则列表B是列表A的平方版本，该数字等于它本身的平方，B是A的其余部分的平方版本。

这里有一个可能的解决方案：

squared_members([], []).
squared_members([L|Ls], [SqrdL|SqrdLs]) :-
    number(L),
    SqrdL is L * L,
    squared_members(Ls, SqrdLs).
squared_members([L|Ls], [L|SqrdLs]) :-
    \+number(L),
    squared_members(Ls, SqrdLs).

请注意，这个定义能够在两个列表之间建立有意义的关系，方法是让它们共享变量，或者包含变量之间的关系链相关的元素(即，SqrdL由于L*L而与L相关)。这个定义比您的定义多了一个子句，这使它能够考虑到一个列表的成员而不是数字:这些成员被添加到第二个列表中，没有改变。

另一种定义，即使用If

squared_members([], []).
squared_members([L|Ls], [M|Ms]) :-
  ( number(L)
  ->  M is L * L, squared_members(Ls, Ms)  
  ;   M = L, squared_members(Ls, Ms)
  ).