java - 如何从 swiprolog 转移到 tuprolog

Question

我通过一个名为 JTransformer 的 eclipse 插件得到了一个 .pl 文件。问题是我得到的 .pl 文件是基于 swiprolog 的，现在我需要在 java 文件中基于 prolog 进行查询，这很容易使用 tuprolog 实现。但我无法使用 tuprolog 查阅 .pl，因为它是用 swiprolog 编写的，并且有些标记仅受 swiprolog 支持。我该怎么做才能将其从 swiprolog 更改为 tuprolog。.pl 文件位于我的谷歌驱动器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那些也一样。