如何将 prolog 谓词转换为 JSON

Question

我想知道是否有办法在SWI-Prolog中返回JSON对象，这样谓词名称成为键，实例化的变量成为值。例如：

get_fruit(JS_out):-
    apple(A),
    pear(P),
    to_json(..., JS_out). # How to write this part?
apple("Gala").
pear("Bartlett").

我希望JS_out是：

JS_out = {"apple": "Gala", "pear": "Bartlett"}.

我不知道如何使用prolog_to_json/3或其他内置函数来实现这一点。虽然丢失了将 Json 读入 Prolog 的帖子，但我找不到很多相反的帖子。任何帮助不胜感激！

Answer 1

给定如图所示的硬编码事实，简单的解决方案是：

get_fruit(JS_out) :- apple(A), pear(P), JS_out = {"apple" : A, "pear": B}.

但是，在Prolog中，您不需要额外的变量。您可以将其编写为：

get_fruit({"apple" : A, "pear": B}) :- apple(A), pear(P).

你可以根据任何类型的两种水果来概括这一点：

get_fruit(Fruit1, Fruit2, {Fruit1 : A, Fruit2 : B}) :-
    call(Fruit1, A),
    call(Fruit2, B).

只要多做一点工作，它就可以推广到任意数量的水果。

顺便说一句，认为is/2是某种通用赋值运算符是一个常见的初学者错误，但事实并非如此。它严格用于算术表达式评估，并假设第二个参数是使用 Prolog 支持的算术运算符的完全实例化和可评估的算术表达式。第一个参数是变量或数值。任何不符合这些标准的内容都将始终失败或产生错误。