将JPL输出转换为Java中的字符串

Question

我通过JPL在java中使用Prolog，我有一些格式谓词的谓词：

format("Result ~p, ",[X]),

在java中使用JPL格式的输出转到java中的控制台输出，如何将这个结果检索到java中的字符串变量？

提前致谢

Answer 1

我不知道JPL，但你不能用sformat格式化成字符串变量，然后通过JPL检索它吗？

?- sformat(S, "Result ~p", [X]).