我跟随sicp计算黎曼和的积分:def integral(f, a, b, dx): return sum_recur(f, a+(dx/2), add_dx, b) * dx
from functools import lru_cache#+begin_src ipython :session sic
在阅读SICP时,我遇到了逻辑编程第4.4章。然后,我开始研究Prolog编程语言,并试图理解Prolog中的一些简单作业。我发现Prolog似乎在数值计算上有困难。下面是标准Prolog中阶乘的计算:f(A, B) :- A > 0, C is A-1, f(C, D), B is A*D.我发现的问题是,我需要引入两个辅助变量(C和D),一个新语法(i