从Java程序传递SWI-Prolog查询

Question

我在查询变量中有一个由Java程序生成的查询。 我想将其发送到SWI-Prolog以获得解决方案。 下面显示了我用Java编写的用于与SWI-Prolog通信的子代码。

  Process P= new ProcessBuilder("C:\\Program Files\\swipl\\bin\\swipl-win.exe").start();
        BufferedReader processOutput = new BufferedReader(new InputStreamReader(P.getInputStream()));
        BufferedWriter processInput = new BufferedWriter(new OutputStreamWriter(P.getOutputStream()));

        String commandToSend = Query;
         processInput.write(commandToSend);

但是SWI-Prolog窗口打开，但是我正在写给ProcessInput的命令没有发送到SWI-Prolog。 可以向我建议最好的方法吗？ 我还需要文件中SWI-Prolog的查询执行的输出。

Answer 1

将查询保存到外部文本文件， swipl从命令行（已设置适当的选项）执行swipl ，然后将输出重定向到另一个文本文件。 然后，读取该输出文件。

例：

1. 将您的查询另存为QUERY.TXT :- query.
2. 运行swipl并重定向到OUTPUT.TXT： swipl -s QUERY.TXT -g halt --quiet > OUTPUT.TXT
3. 读取OUTPUT.TXT的内容

另外，我怀疑您应该结合使用Runtime.getRuntime().exec(...)和waitFor(...)来等待swipl生成输出。