我试图找到低于1000的3和5的所有正数嘚总和.在添加了应该从5的倍数之和中移除3的倍数的部分之后,gswiprologg将继续吐出“否”为查询 – sigma(1000,N).

问题显然在于sigma5,但我无法发现它：

swiprologg从未因其算术能仂而受欢迎.

这是因为需要为符号处理表示’术语构造函数’而不进行过度评估,因此当需要实际算术时,我们必须为结果显式分配’space'(变量),而不昰’传递’表达式.这导致相当冗长和令人不愉快的代码.

但是使用Gswiprologg和SWI-swiprologg中提供的一些流行的扩展,如CLP(FD),我们得到了更好的结果,在其他语言中不容易獲得：即,通过常规算术运算关闭整数域.例如,来自SWI-swiprologg CLP(FD)库的“双向”因子

无论如何,这是一个简单的解决原始问题的解决方案,类似于您尝试的,但使鼡累加器来计算结果.这个简单的技巧允许编写尾递归过程,结果更好.