prolog - Prolog 方言 Prova 的文档

Question

我想从 SWI-Prolog 切换到 Prova - 但似乎比预期的要难:

谓词如 succ()不可用，操作如 Var1+Var2>Var3不工作(显然它必须是 Var3<Var1+Var2 才有效)。

是否有描述 Prolog 方言之间差异的文档？

Answer 1

更新 #2 (9/2019):

最新的用户指南来自 2006 年和 can be found here

prova.ws不幸的是，网站似乎已关闭，它曾经有足够的信息。你可以试试 Wayback 机器，但我找不到好的副本

research paper链接自 Wikipedia article on Prova可能提供更多信息，它似乎有语法示例

相同的 PDF 版本似乎是 freely available here

我没有找到专门显示方言差异的页面。

原答案是:

我能找到的唯一“Prolog 方言比较”文章是 this ACM article .不幸的是，它不是免费的。我不确定它是否包括与 Prova 的比较。

如果 Prova 是执行 Prolog 的 Java 方式，它将被调整为命令式 Java 语言的 OO 环境。它似乎向您展示了 Prolog 的一个子集，但语法确实明显不同。好处是您可以将“Prolog”与“Java”混合使用。

您还可以查找有关 Mandarax 的信息，它在很大程度上与 Pr​​ova 兼容，但您可能已经意识到这一点。