如何从 swiprolog 转移到 tuprolog答案

【问题标题】：how to shift from swiprolog to tuprolog如何从 swiprolog 转移到 tuprolog
【发布时间】：2013-06-01 08:34:42
【问题描述】：

我通过一个名为 JTransformer 的 Eclipse 插件得到了一个 .pl 文件。问题是我得到的 .pl 文件是基于 swiprolog 的，现在我需要在 java 文件中基于 prolog 进行查询，这很容易实现使用图普罗格。但我无法使用 tuprolog 查阅 .pl，因为它是用 swiprolog 编写的，并且有一些标记仅受 swiprolog 支持。我该怎么做才能将其从 swiprolog 更改为 tuprolog。 .pl 文件在我的谷歌驱动器https://drive.google.com/folderview?id=0B4KCEwRVmr_yWjQwOEp3LWpYdk0&usp=sharing 中。

【问题讨论】：

标签： java prolog swi-prolog tuprolog

【解决方案1】：

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

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

【讨论】：

谢谢。我按照你说的做了，但是在第 12220 行出现了另一个错误。我认为是因为 +，所以我将其更改为 '+'。然后它说在 -1 行/之前有一个错误。这是我不明白的。我不知道下一步该怎么做。
我已经上传了一个名为 demo_new.pl 的新 .pl 文件，这是我按照你的话得到的。地址是一样的。谢谢。
问题已解决。此链接是关于如何处理-1行/之前的错误stackoverflow.com/questions/17885518/…。