断言从java到prolog的事实

时间:2013-06-19 00:18:03

标签: java prolog swi-prolog jpl

我正在使用SWI-Prolog和JPL库。 我有一个用Java编写的程序,它生成如下字符串:

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

然后,有一个prolog文件在文件头部需要这个事实。 我既不希望在文件头中插入代码,也不希望使用文本文件,而只使用java。 有解决方案吗?

1 个答案:

答案 0 :(得分:1)

如果我正确读取这个,你需要将字符串写入Java的Prolog文件吗?

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

FileWriter exampleFileWriter = new FileWriter(“exampleProlog.pl”);

只需编写字符串,然后关闭文件即可。有许多更安全,更好的方法可以用Java编写文件。看看这个:

Fastest way to write to file?

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

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

How use Prolog from Java?