Prolog中json_get/3谓词问题：嵌套JSON字段链提取失败

我明白你的痛点——处理嵌套的JSON对象和数组时，基础的json_get实现很容易在字段链混合字符串键和数组索引的场景下失效。咱们来一步步修复这个谓词，让它能正确处理你说的案例。

问题根源分析 #

你的现有实现大概率没做递归的字段链遍历，或者对json_array的索引处理逻辑有误（比如没正确匹配数组结构，或者索引的基数（0-based/1-based）搞反了）。比如你要提取["heads", 1]，需要先从对象里拿到heads对应的数组，再从数组里取索引为1的元素，这两步需要递归调用json_get来完成。

正确的实现代码 #

下面是完整的json_get/3实现，支持嵌套的JSON对象、数组，以及混合字符串键和数字索引的字段链：

% 递归终止条件：字段链为空时，返回当前JSON对象本身
json_get(JSON_obj, [], JSON_obj).

% 处理JSON对象：根据字符串/原子字段名查找对应值，递归处理剩余字段链
json_get(json_obj(Pairs), [Field | RestFields], Result) :-
    (atom(Field) ; string(Field)),  % 兼容原子或字符串类型的字段名
    member((Field, NextObj), Pairs),
    json_get(NextObj, RestFields, Result).

% 处理JSON数组：根据数字索引获取元素，递归处理剩余字段链（0-based索引）
json_get(json_array(Elements), [Index | RestFields], Result) :-
    integer(Index),
    Index >= 0,
    nth0(Index, Elements, NextObj),  % 若需要1-based索引，替换为nth1/3
    json_get(NextObj, RestFields, Result).

测试你的案例 #

用你提供的测试数据验证一下：

% 定义测试JSON对象
Z = json_obj([("nome", "Zaphod"), ("heads", json_array(["Head1", "Head2"]))]).

% 执行查询
?- json_get(Z, ["heads", 1], R).
R = "Head2".  % 符合预期的结果

额外说明 #

• 索引基数：上面的实现用的是0-based索引（和大多数编程语言一致），如果你习惯1-based索引（比如1对应第一个元素），只需要把nth0换成nth1即可。
• 边界情况：如果字段链中的某个字段不存在，或者数组索引越界，谓词会自动失败，这符合Prolog的逻辑。
• 字段名兼容：支持原子（比如heads）和字符串（比如"heads"）两种类型的字段名，适配不同的JSON解析结果。

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