java如何从swiprolog转换到tuprolog

Question

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

Answer 1

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

这些指令，例如:- dynamic factbase_export_time_stamp/2.，最终应该更改为^{，而不是删除，这取决于您的用例。这同样适用于:- multifile个