在Prolog中截断浮点数：如何保留至N位小数？是否有内置工具？

嘿，我来帮你搞定这两个Prolog里处理浮点数的问题～

截断浮点数简单说就是去掉小数部分，只保留整数部分（向零取整，比如3.9变3，-2.1变-2）。大多数主流Prolog实现（比如SWI-Prolog）都自带了truncate/2这个内置谓词，专门干这个活儿：

• 示例1：截断正数

  ?- truncate(5.9, Truncated).
  Truncated = 5.0.
  

• 示例2：截断负数

  ?- truncate(-3.2, Truncated).
  Truncated = -3.0.
  

如果你想要得到整数类型而不是浮点型，还可以再用integer/1转换一下：

?- truncate(5.9, T), integer(T, Int).
T = 5.0,
Int = 5.

遗憾的是，ISO Prolog标准里并没有统一的内置工具来直接截断到指定小数位，但我们可以用truncate/2配合简单的数学运算实现，或者根据你用的Prolog版本找替代方案：

方法1：手动实现截断逻辑 #

核心思路是：把浮点数放大10^N倍，截断整数部分，再缩小回原来的量级。我们可以写一个自定义谓词，复用性更强：

truncate_to_n_decimals(Number, N, Result) :-
    Power is 10^N,               % 计算10的N次方
    ScaledNumber is Number * Power, % 放大N位
    truncate(ScaledNumber, TruncatedScaled), % 截断放大后的数
    Result is TruncatedScaled / Power. % 缩小回原量级

测试一下：

?- truncate_to_n_decimals(3.1415926, 3, R).
R = 3.141.

方法2：利用格式化工具（注意：部分场景是四舍五入） #

比如SWI-Prolog里的format/3可以生成指定小数位的字符串，但默认是四舍五入，如果非要用这个方式实现截断，得先调整一下数值（比如减去0.5*10^-N），不过不如方法1直接。如果只是需要输出截断后的字符串，那可以这么写：

?- format(string(S), "~*.f", [2, 3.149]). % 这里会四舍五入成3.15，不是截断
S = "3.15".

所以如果要严格截断，还是方法1更靠谱。

内容的提问来源于stack exchange，提问作者Deeps