如何在Prolog中使用cut operation对给定数值进行整数/实数分类

下面是满足需求的Prolog代码，通过cut操作避免回溯，明确区分整数和实数：

% 匹配整数类型，cut切断后续回溯
classify(Number, integer) :-
    integer(Number),
    !.

% 若不是整数但属于数值类型，归类为实数
classify(Number, real) :-
    number(Number).

代码解释 #

• 第一条规则：当Number是整数时，直接返回分类结果integer，末尾的!（cut操作）会阻止Prolog继续尝试后续的规则，确保整数不会被误判为实数。
• 第二条规则：仅当第一条规则不匹配时才会执行，此时Number是数值但不是整数，因此归类为real。

测试示例 #

在Prolog解释器中运行这些查询：

?- classify(7, Type).
Type = integer.

?- classify(2.718, Type).
Type = real.

?- classify(-42, Type).
Type = integer.

?- classify(0.0, Type).
Type = real.  % 注：*多数Prolog实现中0.0属于浮点型，不会被integer/1识别*

注意事项 #

不同Prolog实现对数值类型的判断可能有细微区别，比如部分老旧实现可能将0.0识别为整数，但主流实现（如SWI-Prolog）会严格区分整数和浮点型数值。

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