1

我在总结我的一些清单时遇到了一些麻烦。

我目前有：

[[[_G8511,0,1,_G8520],[_G8526,1,0,0],[_G8541,_G8544,0,1]],
 [[1,1,1,_G8568],[0,1,0,1],[0,_G8592,0,1]],
 [[1,0,_G8613,_G8616],[0,1,_G8628,0],[0,_G8640,_G8643,1]]]

我的问题是我试图总结列表中的元素。我知道如何遍历它，但我需要要么忽略实习变量，要么将它们设为 0。

我尝试使用 sum_list(List, Sum)，但我认为它无法处理内部变量。所以我的问题是如何忽略不具有 0 或 1 值的元素，或者如何将内部变量设为 0？

4

1 回答 1

1

当参数不是变量时，您可以使用成功的 nonvar/1 谓词。

您可以编写 sum_list 谓词：

sum_list(List,Sum):-flatten(List,List2),sum_list2(List2,Sum).

sum_list2([],0).
sum_list2([H|T],Sum):- var(H),sum_list2(T,Sum).
sum_list2([H|T],Sum):- nonvar(H), sum_list2(T,Sum1),Sum is Sum1+H.

请注意，在上述解决方案中，由于您需要总和并且列表是嵌套的，因此我使用了 flatten/2 谓词，它将嵌套列表展平为平面列表。

?- sum_list([[[_G8511,0,1,_G8520],[_G8526,1,0,0],[_G8541,_G8544,0,1]],[[1,1,1,_G8568],[0,1,0,1],[0,_G8592,0,1]],[[1,0,_G8613,_G8616],[0,1,_G8628,0],[0,_G8640,_G8643,1]]],Sum).
Sum = 12 ;
false.

使用 foldl/4 的另一种解决方案（确定性）可能是：

add(X,Y,Sum):- (nonvar(X)-> Sum is X+Y;Sum is Y).

sum(List,Sum):- flatten(List,L2),foldl(add,L2,0,Sum).
于 2016-11-13T08:58:45.183 回答