我通过名为JTransformer的日食插件获得了一个.pl文件，问题是我获得的.pl文件基于swiprolog，现在我需要在Java文件中基于Prolog进行查询，这很容易使用tuprolog实现。但是我无法使用tuprolog来查阅.pl，因为它是用swiprolog编写的，并且有些标记仅受swiprolog支持。我该怎么做才能将其从swiprolog更改为tuprolog。 .pl文件在我的Google驱动器https://drive.google.com/folderview?id=0B4KCEwRVmr_yWjQwOEp3LWpYdk0&usp=sharing中。
最佳答案
乍一看，该文件几乎没有针对SWI的特定内容。您可以尝试完全删除任何指令：以:-开头的那些行。然后为您构建theory-我认为这是模块的tuProlog方式，并查看您是否准备就绪。
这些指令，例如:- dynamic factbase_export_time_stamp/2.，最终应更改为:- dynamic(factbase_export_time_stamp/2).，而不是被删除，具体取决于您的用例。对于:- multifile也是一样。