如何在Prolog中基于目标值过滤数值元素 附Java参考实现代码

对应你提供的Java代码的核心逻辑：输入数值列表与浮点阈值，将所有元素转为浮点型比较后，输出所有大于阈值的元素组成的新列表。Prolog的数值比较运算符天然支持整数、浮点数的自动类型转换，无需额外做映射处理，实现方式如下两种：

方法1：使用内置高阶谓词实现（推荐） #

SWI-Prolog等主流发行版都自带include/3高阶谓词，可以直接传入过滤规则完成筛选：

% 过滤规则：判断数值是否大于指定阈值
greater_than(Target, Num) :-
    Num > Target.

% 封装过滤入口：输入列表、目标阈值、输出结果列表
filter_greater_than(InputList, Target, OutputList) :-
    include(greater_than(Target), InputList, OutputList).

测试样例 #

对应Java代码中的测试用例运行效果：

% 浮点数列表测试
?- filter_greater_than([2.1,3.2,4.3,5.4,6.5,7.6,8.7], 5.0, Res).
Res = [5.4, 6.5, 7.6, 8.7].

% 整数列表测试（对应Java代码中注释的测试用例）
?- filter_greater_than([1,2,3,4,5,6,7,8,9], 5, Res).
Res = [6, 7, 8, 9].

方法2：手动递归实现（无依赖） #

如果需要兼容不支持高阶谓词的运行环境，可以用基础递归逻辑实现：

% 递归边界：空列表过滤后仍为空
filter_greater_than_rec([], _, []).
% 元素大于阈值：加入结果列表，继续递归处理剩余元素
filter_greater_than_rec([Head|Tail], Target, [Head|ResTail]) :-
    Head > Target,
    filter_greater_than_rec(Tail, Target, ResTail).
% 元素小于等于阈值：不加入结果列表，继续递归处理剩余元素
filter_greater_than_rec([Head|Tail], Target, ResTail) :-
    Head =< Target,
    filter_greater_than_rec(Tail, Target, ResTail).

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