如何對序言中謂詞的多個結果求和？

Question

因此，我有一個斷言有時會返回多個數值結果，例如。

X=3;

X=1

如何將多個返回值加在一起？ 有時我的謂詞返回一個單一的數字值就可以了，但是如果返回多個，我希望它將多個結果相加並輸出，而不是將它們分開列出。

謝謝。

Answer 1

您沒有向我們顯示代碼，所以我無法確切說明什么是正確的解決方案，但是您可以嘗試使用findall/3或bagof/3謂詞來收集列表中的結果，然后將所有結果求和。