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

Question

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

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

在 java 中使用 JPL 格式的输出到 java 中的控制台输出，我怎样才能将此结果检索到 java 中的字符串变量中？

提前致谢

Answer 1

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

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