java - 从java断言事实到prolog

Question

我将 SWI-Prolog 与 JPL 库一起使用。我有一个用 Java 编写的程序，它产生如下字符串：

fact(1,2)
fact(2,3)
fact(1,3)

然后，在文件头中有一个需要这个事实的 prolog 文件。我既不想在文件头插入代码，也不想使用文本文件，只需要 java.util. 有解决方案吗？

Answer 1

如果我没看错，您需要将字符串从 Java 写入 Prolog 文件吗？

Java 可以写入多种文件类型，包括 .txt、.word 和 html。您可以尝试使用扩展名写入 Prolog 文件。

FileWriter exampleFileWriter = new FileWriter("exampleProlog.pl");

只需编写字符串，然后关闭文件。在 Java 中写入文件有许多更安全、更好的方法。看看这个：

写入文件的最快方法？

http://www.javapractices.com/topic/TopicAction.do?Id=42

编辑：这可能会有所帮助：

如何从 Java 中使用 Prolog？