Prolog如何按指定格式打印findall获取的硬件配置列表

我来帮你搞定这个Prolog的格式化输出问题～你已经通过findall拿到了所有符合条件的配置列表，接下来只需要写一个自定义的遍历打印谓词，就能按照你要的格式输出每个配置了。

实现步骤 #

1. 定义打印配置的递归谓词 #

我们需要一个谓词来遍历findall返回的列表，给每个配置加上序号，然后按指定格式打印。直接上代码：

% 对外调用的主谓词：接收配置列表，从序号1开始打印
print_configurations(Configs) :-
    print_configurations(Configs, 1).

% 递归终止条件：列表为空时停止打印
print_configurations([], _).

% 递归处理每个配置：拆分元素、格式化输出、序号自增
print_configurations([P-M-R-C-A-V-S-D-H | Rest], CurrentNum) :-
    % 按照你要求的一行格式输出
    format('configuration number ~w ~w ~w ~w ~w ~w ~w ~w ~w ~w~n', 
           [CurrentNum, P, M, R, C, A, V, S, D, H]),
    % 序号加1，继续处理剩余配置
    NextNum is CurrentNum + 1,
    print_configurations(Rest, NextNum).

2. 结合findall完成完整流程 #

把你原来的findall调用和这个打印谓词结合起来，就能一次性获取并输出所有配置了：

% 完整的查询+打印谓词，T是你要指定的Price_range（比如low_range/middle_range）
get_and_print_configurations(T) :-
    findall(P-M-R-C-A-V-S-D-H, configuration(P, M, R, C, A, V, S, D, H, T), Res),
    print_configurations(Res).

使用示例 #

比如你想查询并打印所有low_range的配置，直接在Prolog交互环境里调用：

get_and_print_configurations(low_range).

输出就会完全符合你要的格式：

configuration number 1 Intel Core i3 8100 Gigabyte Z370P D3 [对应RAM型号] [对应机箱型号] [对应Ali型号] [对应显卡型号] [对应SSD型号] [对应显示器型号] [对应HDD型号]
configuration number 2 ...
...

可选优化：更易读的分行格式 #

如果你希望每个部件单独一行（可读性更强），可以修改format的字符串：

format('configuration number ~w~nprocessor: ~w~nmotherboard: ~w~nram: ~w~ncase: ~w~nali: ~w~nvideo card: ~w~nssd: ~w~nmonitor: ~w~nhdd: ~w~n~n', 
       [CurrentNum, P, M, R, C, A, V, S, D, H])

这样输出会变成：

configuration number 1
processor: Intel Core i3 8100
motherboard: Gigabyte Z370P D3
ram: ...
...

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