评估条款开头的表达式

Posted 2021-04-18

有没有办法在findall/3条款中评估这个总和？

findall((A+C,[M,H|_]),(b_to_b(H,M,C),\+ member(M,[H|T])),R).

在这里我得到像(1+3,List)这样的值，我正在寻找一些捷径，以便我得到价值4而不是(1+3)

我明白问题是什么，但快捷方式会很好，否则我必须重新访问整个列表，这并不好。

谢谢

答案

假设A已经绑定到数字，只需将评估从模板移动到目标：

...,
findall((S,[M,H|_]),(b_to_b(H,M,C),\+ member(M,[H|T]), S is A+C),R).

效率提示：您还应该将member / 2更改为memberchk / 2。