从java断言事实到prolog

Question

我在JPL库中使用SWI-Prolog。我有一个用Java编写的程序，它产生如下字符串:

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

然后，在文件头有一个prolog文件需要这些事实。我既不想在文件头插入代码，也不想使用文本文件，而只是java。有解决办法吗?

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 ?