如何对序言中谓词的多个结果求和？

Question

因此，我有一个断言有时会返回多个数值结果，例如。

X=3;

X=1

如何将多个返回值加在一起？ 有时我的谓词返回一个单一的数字值就可以了，但是如果返回多个，我希望它将多个结果相加并输出，而不是将它们分开列出。

谢谢。

Answer 1

您没有向我们显示代码，所以我无法确切说明什么是正确的解决方案，但是您可以尝试使用findall/3或bagof/3谓词来收集列表中的结果，然后将所有结果求和。