如何在SWI-Prolog中将谓词转换为JSON对象？

嘿，这个需求完全可以实现！我来一步步教你怎么在SWI-Prolog里生成以谓词名为键、实例化变量为值的JSON对象——毕竟内置的prolog_to_json/3确实没直接提供这个功能，得自己写点小逻辑。

核心思路 #

SWI-Prolog的JSON库默认会把谓词结构（比如foo(a,b)）转换成包含functor和args字段的JSON对象，但我们需要的是直接把谓词名作为顶级键，参数作为对应的值。所以我们要做的就是：

1. 拆分谓词的名称和实例化后的参数
2. 把它们组装成我们想要的JSON结构
3. 用内置工具输出成标准JSON字符串

代码实现 #

首先确保导入SWI-Prolog的JSON库：

:- use_module(library(http/json)).

场景1：普通谓词（参数为列表值） #

如果你的谓词是普通形式（比如person(john, 30)、add(2,3,5)），想要转成{"person": ["john", 30]}这种格式，可以用下面的自定义谓词：

% 把谓词项转换成目标JSON结构
predicate_to_json(PredicateTerm, JsonObject) :-
    % 拆分谓词的名称和参数列表
    PredicateTerm =.. [PredicateName | Args],
    % 组装成以谓词名为键的JSON对象
    JsonObject = json{PredicateName: Args}.

% 直接输出谓词对应的JSON字符串
write_predicate_json(PredicateTerm) :-
    predicate_to_json(PredicateTerm, Json),
    % width(0) 避免自动换行，生成紧凑的JSON
    json_write(current_output, Json, [width(0)]).

测试案例

?- write_predicate_json(person(john, 30)).

输出结果：

{"person": ["john", 30]}

场景2：带键值对参数的谓词 #

如果你的谓词参数是键值对形式（比如person(name=john, age=30)），想要转成{"person": {"name": "john", "age": 30}}，可以调整代码如下：

predicate_to_json(PredicateTerm, JsonObject) :-
    PredicateTerm =.. [PredicateName | KeyValuePairs],
    % 把Key=Value的Prolog项转换成JSON键值对
    maplist(convert_key_value, KeyValuePairs, JsonPairs),
    % 组装嵌套的JSON对象
    JsonArgs = json(JsonPairs),
    JsonObject = json{PredicateName: JsonArgs}.

convert_key_value(Key=Value, Key-Value).

write_predicate_json(PredicateTerm) :-
    predicate_to_json(PredicateTerm, Json),
    json_write(current_output, Json, [width(0)]).

测试案例

?- write_predicate_json(person(name=john, age=30)).

输出结果：

{"person": {"name": "john", "age": 30}}

为什么内置的prolog_to_json/3不行？ #

内置的prolog_to_json/3遵循的是Prolog到JSON的通用映射规则：

• 原子会转成字符串
• 列表转成JSON数组
• 复合项（谓词）默认会转成{"functor": "谓词名", "args": [参数列表]}的格式

而我们需要的是把谓词名直接作为顶级JSON键，所以必须自定义转换逻辑来覆盖默认行为。

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