我通过名为JTransformer的eclipse插件获得了一个.pl文件。问题是我得到的.pl文件是基于swiprolog的，现在我需要在java文件中进行基于prolog的查询，这很容易实现tuprolog。但是我不能使用tuprolog来咨询.pl，因为它是在swiprolog中写的，并且有一些标记只能由swiprolog支持。我该怎么做才能将它从swiprolog改为tuprolog。 .pl文件位于我的google驱动器https://drive.google.com/folderview?id=0B4KCEwRVmr_yWjQwOEp3LWpYdk0&usp=sharing。
答案 0 :(得分：0)
乍一看，该文件对SWI的影响非常小。您可以尝试完全删除任何指令：那些以:-开头的行。然后构建你theory - 我认为这是模块的tuProlog方式，看看你是否准备好了。
这些指令（例如:- dynamic factbase_export_time_stamp/2.）最终应更改到:- dynamic(factbase_export_time_stamp/2).，而不是被删除，具体取决于您的用例。同样适用于:- multifile个。