如何从swiprolog转换到tuprolog

Question

我通过一个叫JTransformer.The的eclipse插件得到了一个.pl文件，问题是我得到的.pl文件是基于swiprolog的，现在我需要在一个java文件中进行基于prolog的查询，这很容易用tuprolog实现。但是我不能使用tuprolog查询.pl，因为它是用swiprolog编写的，而且有一些标记只支持swiprolog。如何才能将其从swiprolog更改为tuprolog。.pl文件在我的google drive https://drive.google.com/folderview?id=0B4KCEwRVmr_yWjQwOEp3LWpYdk0&usp=sharing中。

Answer 1

乍一看，该文件几乎没有特定于SWI的内容。您可以尝试完全删除任何指令:以:-开头的那些行。然后构建你的theory --我认为这是构建模块的tuProlog方式，看看你是否准备好了。

这些指令，例如:- dynamic factbase_export_time_stamp/2.，最终应该更改为:- dynamic(factbase_export_time_stamp/2).，而不是删除，这取决于您的用例。:- multifile的情况也是如此。