gpt4 book ai didi

java - 从 java 到 prolog 断言事实

转载 作者:行者123 更新时间:2023-12-01 14:25:56 25 4
gpt4 key购买 nike

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

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

然后,文件头中有一个需要此事实的 prolog 文件。我既不想将代码插入文件头,也不想使用文本文件,而只想使用 java.util.File 。有解决办法吗?

最佳答案

如果我没看错,您需要将字符串从 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?

关于java - 从 java 到 prolog 断言事实,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/17181041/

25 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com