试图弄清楚如何编写一个递归谓词divide_by(X, D, I, R)，它将一个正整数X和一个除数D作为输入，并将答案作为整数部分I和余数部分R返回，但是，我似乎无法理解 Prolog。我该怎么做呢？
最佳答案
为此有预定义的可评估仿函数。(div)/2 和 (mod)/2 总是向下取整。由 LIA-1、Knuth 等推荐。(//)/2 和 (rem)/2 向零舍入(实际上，它是实现定义的，但所有当前的实现都是这样做的)。您可以通过 current_prolog_flag(integer_rounding_function, F) 询问这个问题，该代码在当前实现中提供 toward_zero 。
这些对之间的差异仅在涉及负数时显示。这是一种人们更喜欢的宗教 war 。 ISO/IEC 10967:2012 与语言无关的算术 (vl. LIA-1) 仅提供“由于错误使用的倾向”(C.5.1.2.2)的向零舍入，而 Fortran 和像 C 这样的追随者则将其称为向零“代数”(6.5.5)。也可以看看:
Advantages of using truncation towards minus infinity vs towards zero
关于integer - Prolog中的除法和余数，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/19954314/