Prolog中使用findall结合内联谓词过滤列表的语法问题

1. 在代码文件中直接定义术语列表数据 #

有两种简洁的实现方式：

• 定义事实：直接在脚本文件中声明一个事实，将列表作为参数存储：

  rows([row('A', 150), row('B', 300), row('C', 50)]).
  

  使用时只需查询rows(Rows)，即可获取该术语列表。

• 封装为无依赖谓词：如果需要后续扩展逻辑，可以用谓词封装列表：

  get_data_rows(Rows) :-
      Rows = [row('A', 150), row('B', 300), row('C', 50)].
  

  调用get_data_rows(Rows)就能拿到目标列表。

2. 直接通过查询语句实现列表过滤 #

你之前的查询返回[_ ,_]，核心问题是findall中的Row变量未与匹配到的row项绑定，导致收集的是未实例化的变量。调整变量关联后，无需依赖脚本文件就能得到预期结果：

正确查询写法（两种可选） #

写法一：通过变量绑定提取数据

?- Rows = [row('A', 150), row('B', 300), row('C', 50)],
   findall(Row, (member(Row, Rows), Row = row(_, Value), Value > 50), Filtered).

写法二：直接用模式匹配统一变量

?- Rows = [row('A', 150), row('B', 300), row('C', 50)],
   findall(row(Name, Value), (member(row(Name, Value), Rows), Value > 50), Filtered).

两种写法都会返回Filtered = [row('A', 150), row('B', 300)]，完全符合预期。

逻辑说明 #

• 写法一中，member(Row, Rows)先将Row绑定到列表中的每个row实例，再通过Row = row(_, Value)提取数值进行条件判断，findall会收集所有符合条件的已实例化Row。
• 写法二直接在member和findall中使用同一组变量row(Name, Value)，确保收集的是具体的行数据，而非空变量。

内容的提问来源于stack exchange，提问作者Methodox Charles Zhang